Commits

Branch selector

 master

User selector

psteckler

Datepicker

All time

Commit History

Commits on Aug 16, 2017

• mention that tactic is the identity or gives error

  psteckler

  committed
  7f3a7aa

  Copy full SHA for 7f3a7aa

• change section caption, improve some wording

  psteckler

  committed
  8c27994

  Copy full SHA for 8c27994

Commits on Jul 12, 2017

• format pairs of items for pr_depth to get alternating separators

  Show description for bcfcf89
  psteckler

  committed
  bcfcf89

  Copy full SHA for bcfcf89

Commits on Jul 5, 2017

• use Int.equal instead of polymorphic =

  psteckler

  committed
  8e57376

  Copy full SHA for 8e57376

Commits on Jun 26, 2017

• disable async on Windows by default

  psteckler

  committed
  c45e36f

  Copy full SHA for c45e36f

Commits on Jun 23, 2017

• Fix Bug #5574, document function scope

  psteckler

  committed
  0577523

  Copy full SHA for 0577523

Commits on Jun 19, 2017

• Change CoqIDE-specific to neutral wording

  psteckler

  committed
  f3d5de9

  Copy full SHA for f3d5de9

Commits on Jun 9, 2017

• Fix Bug #5568, no dup notation warnings on repeated module imports

  psteckler

  committed
  849bf36

  Copy full SHA for 849bf36

Commits on May 25, 2017

• add Show test with -emacs flag

  psteckler

  committed
  cde8704

  Copy full SHA for cde8704

• Bug 5546, qualify datatype constructors when needed

  psteckler

  committed
  ec57e7b

  Copy full SHA for ec57e7b

Commits on May 19, 2017

• add test for Show with -emacs, bug 5535

  psteckler

  committed
  92e3fdd

  Copy full SHA for 92e3fdd

Commits on May 17, 2017

• Fixing bug #5526,allow nonlinear variables in Notation patterns

  psteckler

  committed
  8c2c92c

  Copy full SHA for 8c2c92c

• fix swapping of ids in tuples, bug 5486

  psteckler

  committed
  6735a7c

  Copy full SHA for 6735a7c

Commits on May 1, 2017

• remove unneeded -emacs flag to coq-prog-args

  psteckler

  committed
  f6856c5

  Copy full SHA for f6856c5

Commits on Apr 27, 2017

• fix order of command-line arguments mentioned in Add LoadPath

  psteckler

  committed
  e574b4b

  Copy full SHA for e574b4b

Commits on Apr 13, 2017

• update XML protocol doc to 8.6

  psteckler

  committed
  6ef2dc1

  Copy full SHA for 6ef2dc1

• add XML protocol doc for 8.5

  psteckler

  committed
  865fa8f

  Copy full SHA for 865fa8f

Commits on Mar 22, 2017

• make check not CoqIDE-specific

  psteckler

  committed
  8c42932

  Copy full SHA for 8c42932

Commits on Mar 20, 2017

• In the Kami project, that causes a stack overflow in one of the example files

  Show description for 76c263b
  

  psteckler

  authored and

  maximedenes

  committed
  76c263b

  Copy full SHA for 76c263b

Commits on Mar 17, 2017

• Document Show Match, add ref to that in match variants/extensions

  psteckler

  committed
  dab51c3

  Copy full SHA for dab51c3

Commits on Dec 5, 2016

• Change module for Coq loop

  psteckler

  committed
  2125949

  Copy full SHA for 2125949

• the -byte option is deprecated

  psteckler

  committed
  08c6e4c

  Copy full SHA for 08c6e4c

Commits on Sep 9, 2016

• no-refold patch

  Show description for 43869b4
  

  psteckler

  authored and

  mattam82

  committed
  43869b4

  Copy full SHA for 43869b4

Commits on Aug 23, 2016

• update Proof General URL

  

  psteckler

  authored and

  gares

  committed
  50bece7

  Copy full SHA for 50bece7

Commits on Aug 17, 2016

• In docs, fix command to reset Ltac profiling

  psteckler

  committed
  982e239

  Copy full SHA for 982e239

Commits on May 17, 2016

• alternate path separators in typeclass debug output (4736)

  psteckler

  committed
  f4cbb37

  Copy full SHA for f4cbb37