aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* More expressive API for tclWITHHOLES.Gravatar Pierre-Marie Pédrot2015-02-10
* Making undo/redo atomic in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-10
* Revert "Removing spurious tclWITHHOLES."Gravatar Pierre-Marie Pédrot2015-02-10
* Fix bug #4014.Gravatar Pierre-Marie Pédrot2015-02-09
* STM: tolerate simple side effects in async proofs (Close: 4006)Gravatar Enrico Tassi2015-02-07
* Fixing bug #4009.Gravatar Pierre-Marie Pédrot2015-02-07
* More efficient Richpp.Gravatar Pierre-Marie Pédrot2015-02-06
* Windows: open .vo files in binary modeGravatar Enrico Tassi2015-02-05
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-02-05
* Fix automatic undo after nonsensical Qed in tty mode (Close: 3980)Gravatar Enrico Tassi2015-02-05
* Windows installer cleanupGravatar Enrico Tassi2015-02-05
* Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)Gravatar Enrico Tassi2015-02-05
* Properly set module names in presence of -Q. (Fix for bug #3958)Gravatar Guillaume Melquiond2015-02-05
* Detecting automatically whether .opt versions of ocaml executables exist;Gravatar Hugo Herbelin2015-02-04
* Optimized Import/Export the same way as Require Import/Export wasGravatar Hugo Herbelin2015-02-04
* Fixing bug #3996.Gravatar Pierre-Marie Pédrot2015-02-04
* More efficient implementation of Richpp.Gravatar Pierre-Marie Pédrot2015-02-04
* Tactic Notation: use stable unique key for notations (Close: 3970)Gravatar Enrico Tassi2015-02-04
* CThread: workaround for threads lockup on windwos made more aggressiveGravatar Enrico Tassi2015-02-04
* Nativelib: catch Unix_error (like no ocamlopt found)Gravatar Enrico Tassi2015-02-04
* Revert "Tactic Notation: use stable unique key for notations (Close: 3970)"Gravatar Enrico Tassi2015-02-03
* Tactic Notation: use stable unique key for notations (Close: 3970)Gravatar Enrico Tassi2015-02-03
* spit module path using / as directory separatorGravatar Enrico Tassi2015-02-03
* Removing dead code.Gravatar Pierre-Marie Pédrot2015-02-02
* Fix index of reference manual.Gravatar Guillaume Melquiond2015-01-29
* An update on INSTALL.ide.Gravatar Hugo Herbelin2015-01-29
* Removing outdated INSTALL.macosx file; instructions are more likely toGravatar Hugo Herbelin2015-01-29
* Extra check at the INSTALL file.Gravatar Hugo Herbelin2015-01-29
* Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...Gravatar Guillaume Melquiond2015-01-29
* Remove some "Warning:" from the reference manual.Gravatar Guillaume Melquiond2015-01-29
* Prevent spurious warnings about Arguments.Gravatar Guillaume Melquiond2015-01-29
* Made the CoqIDE progress gutter clickable.Gravatar Pierre-Marie Pédrot2015-01-29
* Fix some typos in the documentation.Gravatar Guillaume Melquiond2015-01-29
* Fix some broken Coq scripts in the reference manual.Gravatar Guillaume Melquiond2015-01-29
* Fixing bug #3931.Gravatar Pierre-Marie Pédrot2015-01-28
* Fixed a wrong warning in coq_makefile.Gravatar Pierre Courtieu2015-01-27
* Allow -type-in-type to be an option also for coqc.Gravatar Daniel R. Grayson2015-01-27
* Doc: Overfull lines in chapter on Canonical Structures.Gravatar Hugo Herbelin2015-01-27
* Made replacing of text in CoqIDE atomic w.r.t. the undo/redo.Gravatar Pierre-Marie Pédrot2015-01-25
* Fixing bug #3947.Gravatar Pierre-Marie Pédrot2015-01-25
* Test for bug #3798.Gravatar Pierre-Marie Pédrot2015-01-25
* Doc: Fixing some compilation problems with chapter CanonicalGravatar Hugo Herbelin2015-01-24
* Updating CHANGES (grammar, thanks to AS for pointing it out) +Gravatar Hugo Herbelin2015-01-24
* Removed obsolete option "Legacy Partially Applied EliminationGravatar Hugo Herbelin2015-01-24
* Reference Manual: Documenting new printing of evars and new effect ofGravatar Hugo Herbelin2015-01-24
* Equality Schemes options: reverting commit ff9f94634 which isGravatar Hugo Herbelin2015-01-24
* Isolate a function for printing evar sets.Gravatar Hugo Herbelin2015-01-24
* Tentative workaround for bug #3798.Gravatar Pierre-Marie Pédrot2015-01-24
* Fix previous commit on extraction.Gravatar Maxime Dénès2015-01-23
* Typos, grammar, layout in CHANGES (continued).Gravatar Hugo Herbelin2015-01-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 07:24:23 +0000