Commits

Branch selector

 trunk

User selector

silene

Datepicker

All time

Commit History

Commits on Feb 23, 2015

• Fix some typos in comments.

  silene

  committed
  df2f50d

  Copy full SHA for df2f50d

Commits on Feb 15, 2015

• Document the behavior change of Instance wrt {|...|}. (Fix for bug #3749)

  silene

  committed
  5830f58

  Copy full SHA for 5830f58

Commits on Feb 13, 2015

• Document the issue with trivial inductive types. (Workaround for bug #3984)

  silene

  committed
  7dc6dfe

  Copy full SHA for 7dc6dfe

Commits on Feb 12, 2015

• Make clearer that "Remove Printing Let" does not influence destructuring let.

  silene

  committed
  e2dca0d

  Copy full SHA for e2dca0d

Commits on Feb 11, 2015

• Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)

  silene

  committed
  3761b6b

  Copy full SHA for 3761b6b

Commits on Feb 10, 2015

• Avoid html markup inside tex files and fix url.

  silene

  committed
  9bbf641

  Copy full SHA for 9bbf641

• Run coqdoc on the .v files from the plugins directory. (Fix for bug #2195)

  silene

  committed
  1a6ba78

  Copy full SHA for 1a6ba78

• Add section numbering to the refman PDF. (Fix for bug #2365)

  silene

  committed
  9360af7

  Copy full SHA for 9360af7

• Prevent Latex from messing with backticks. (Fix for bug #3871)

  silene

  committed
  48f5875

  Copy full SHA for 48f5875

• Fix documentation of generalize. (Fix for bug #4015)

  silene

  committed
  8545884

  Copy full SHA for 8545884

• Fix some documentation typo.

  silene

  committed
  804421f

  Copy full SHA for 804421f

Commits on Feb 5, 2015

• Fix some documentation typos.

  silene

  committed
  0e35acf

  Copy full SHA for 0e35acf

• Properly set module names in presence of -Q. (Fix for bug #3958)

  Show description for 6db9f65
  silene

  committed
  6db9f65

  Copy full SHA for 6db9f65

Commits on Jan 29, 2015

• Fix index of reference manual.

  silene

  committed
  db293d1

  Copy full SHA for db293d1

• Remove spurious "Loading ML file" and "<W> Grammar extension" from the reference manual.

  silene

  committed
  1dfcae6

  Copy full SHA for 1dfcae6

• Remove some "Warning:" from the reference manual.

  silene

  committed
  fe038ee

  Copy full SHA for fe038ee

• Prevent spurious warnings about Arguments.

  Show description for 7b08753
  silene

  committed
  7b08753

  Copy full SHA for 7b08753

• Fix some typos in the documentation.

  silene

  committed
  266d837

  Copy full SHA for 266d837

• Fix some broken Coq scripts in the reference manual.

  silene

  committed
  93d7fbf

  Copy full SHA for 93d7fbf

Commits on Jan 12, 2015

• Update credits.

  silene

  committed
  a97b659

  Copy full SHA for a97b659

Commits on Jan 8, 2015

• Fix some documentation typos.

  silene

  committed
  448bf45

  Copy full SHA for 448bf45

Commits on Jan 6, 2015

• Fix some documentation typos.

  silene

  committed
  bf16900

  Copy full SHA for bf16900

• Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #3802.)

  silene

  committed
  91c9e77

  Copy full SHA for 91c9e77

Commits on Dec 30, 2014

• Document the new behavior of lazymatch.

  silene

  committed
  47b8109

  Copy full SHA for 47b8109

Commits on Oct 27, 2014

• Make sure that Logic/ExtensionalityFacts gets compiled.

  silene

  committed
  b56ec63

  Copy full SHA for b56ec63

• Fix some typos.

  silene

  committed
  6bb322f

  Copy full SHA for 6bb322f

• Use the url package, since coqdoc generates \url commands.

  silene

  committed
  a963053

  Copy full SHA for a963053

• Fix some typos in comments.

  silene

  committed
  65c8d91

  Copy full SHA for 65c8d91

Commits on Oct 24, 2014

• Install index_urls.txt in a location where coqide might actually find it.

  silene

  committed
  9973cd2

  Copy full SHA for 9973cd2

• Fix generation of the index_urls.txt file.

  Show description for 604621e
  silene

  committed
  604621e

  Copy full SHA for 604621e

Commits on Sep 17, 2014

• Change some Defined into Qed.

  silene

  committed
  cc6afad

  Copy full SHA for cc6afad

• Add some missing Proof statements.

  silene

  committed
  95c915c

  Copy full SHA for 95c915c

• Remove pointless regex for '""' as the empty string already matches it.

  silene

  committed
  9060a94

  Copy full SHA for 9060a94

• Fix highlighting of "Hint Unfold" and "Hint Rewrite".

  silene

  committed
  a66d6e8

  Copy full SHA for a66d6e8

• Properly highlight the Export keyword.

  silene

  committed
  230b1e9

  Copy full SHA for 230b1e9

Pagination

Previous

Next