Commits

Branch selector

 master

User selector

jfehrle

Datepicker

All time

Commit History

Commits on Sep 20, 2023

• Fix "r <num>" and "r <string>" commands in coqtop Ltac debugger

  jfehrle

  committed
  d5a213d

  Copy full SHA for d5a213d

Commits on Apr 14, 2023

• Fix description of first and solve for Tactic Notation

  jfehrle

  committed
  f3aa0f9

  Copy full SHA for f3aa0f9

Commits on Apr 11, 2023

• Clean up doc_grammar messages

  jfehrle

  committed
  bf56a63

  Copy full SHA for bf56a63

• Exclude ssr mlgs and rst from processing

  Show description for c327545
  jfehrle

  committed
  c327545

  Copy full SHA for c327545

Commits on Apr 6, 2023

• Interpret "abstract after N" in Number Notation as > N, not >= N

  jfehrle

  committed
  cfe1999

  Copy full SHA for cfe1999

• Explain stack overflow for nat, number examples

  jfehrle

  committed
  cf61ca2

  Copy full SHA for cf61ca2

Commits on Mar 22, 2023

• Eliminate last "nitpicky" exceptions

  jfehrle

  committed
  5eafc3d

  Copy full SHA for 5eafc3d

Commits on Mar 16, 2023

• Doc: Clarify cursor position for setting debugger breakpoints

  jfehrle

  committed
  bc37877

  Copy full SHA for bc37877

Commits on Feb 5, 2023

• Remove use of "tacv" in Ltac doc

  jfehrle

  committed
  ed67cbd

  Copy full SHA for ed67cbd

Commits on Feb 4, 2023

• Fix example in 'move' tactic

  jfehrle

  committed
  b47dc98

  Copy full SHA for b47dc98

Commits on Feb 3, 2023

• Generate error messages for duplicate productions

  jfehrle

  committed
  42c82f8

  Copy full SHA for 42c82f8

• Remove unused MERGE op

  jfehrle

  committed
  d8ff919

  Copy full SHA for d8ff919

Commits on Jan 19, 2023

• Distinguish libraries and plugins

  jfehrle

  committed
  c45aca8

  Copy full SHA for c45aca8

Commits on Dec 27, 2022

• Convert tactics chapter to prodn, part 3

  jfehrle

  committed
  e788f6e

  Copy full SHA for e788f6e

Commits on Dec 20, 2022

• Give an error for a non-existent proof mode in Proof Mode

  jfehrle

  committed
  5b72bb6

  Copy full SHA for 5b72bb6

Commits on Dec 2, 2022

• Warn about the hazards of Notepad and File Manager on Windows

  jfehrle

  committed
  d33600b

  Copy full SHA for d33600b

Commits on Nov 25, 2022

• Update configuration doc, de-emphasize COQPATH

  jfehrle

  committed
  71129bd

  Copy full SHA for 71129bd

Commits on Nov 24, 2022

• Sort loadpath files added for each -Q/-R

  jfehrle

  committed
  93d0272

  Copy full SHA for 93d0272

Commits on Nov 23, 2022

• Document Printing Goal Tags flag

  jfehrle

  committed
  ea482de

  Copy full SHA for ea482de

Commits on Nov 20, 2022

• Fix typo in Windows path

  jfehrle

  committed
  eb6e0a3

  Copy full SHA for eb6e0a3

• Support "Printing Record" and "Printing Synth" options in View menu

  jfehrle

  committed
  a9379ed

  Copy full SHA for a9379ed

Commits on Nov 16, 2022

• Document Windows-specific limitation of Interrupt

  jfehrle

  committed
  53c3467

  Copy full SHA for 53c3467

Commits on Nov 3, 2022

• Typos

  jfehrle

  committed
  567423b

  Copy full SHA for 567423b

Commits on Oct 27, 2022

• Fix typos

  jfehrle

  committed
  fe808a8

  Copy full SHA for fe808a8

Commits on Oct 20, 2022

• Remove unwanted "(optional)"

  jfehrle

  committed
  d601810

  Copy full SHA for d601810

Commits on Oct 13, 2022

• Convert tactics chapter to prodn, part 2

  jfehrle

  committed
  da53bb7

  Copy full SHA for da53bb7

Commits on Oct 11, 2022

• Use natural instead of integer in instantiate tactic syntax

  jfehrle

  committed
  40b3a79

  Copy full SHA for 40b3a79

Commits on Oct 6, 2022

• Fix interrupt on Windows

  jfehrle

  committed
  5b06aa0

  Copy full SHA for 5b06aa0

Commits on Sep 14, 2022

• Convert the tactics chapter to prodn

  jfehrle

  committed
  7de68b2

  Copy full SHA for 7de68b2

Commits on Jul 31, 2022

• Expand filepaths that are directories in _CoqProject

  jfehrle

  committed
  c62c02d

  Copy full SHA for c62c02d

Commits on Jul 13, 2022

• Add a "Coq Configuration Basics" section

  jfehrle

  committed
  5762387

  Copy full SHA for 5762387

Commits on Jul 11, 2022

• Remove reference to non-existent warning

  jfehrle

  committed
  d3ac2c3

  Copy full SHA for d3ac2c3

• Give a better description of section variables

  jfehrle

  committed
  de0df91

  Copy full SHA for de0df91

Commits on Jul 5, 2022

• Tweak wording for -vos

  jfehrle

  committed
  944f572

  Copy full SHA for 944f572

Commits on Jun 6, 2022

• Tweaks on key bindings

  jfehrle

  committed
  b99c9f5

  Copy full SHA for b99c9f5

Pagination

Previous

Next