aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...Gravatar Matej Kosik2015-12-07
* Fix some typos.Gravatar Guillaume Melquiond2015-12-07
* Update history of revisions.Gravatar Hugo Herbelin2015-12-02
* MacOS package script: do not fail if link to /Applications already exists.Gravatar Maxime Dénès2015-11-18
* Being more precise and faithful about the origin of the file reportingGravatar Hugo Herbelin2015-11-16
* MacOS package script: do not fail if directory _dmg already exists.Gravatar Maxime Dénès2015-11-13
* Script building MacOS package.Gravatar Maxime Dénès2015-11-12
* Fixing another instance of bug #3267 in eauto, this time in theGravatar Hugo Herbelin2015-10-29
* Refine Gregory Malecha's patch on VM and universe polymorphism.Gravatar Maxime Dénès2015-10-28
* Adds support for the virtual machine to perform reduction of universe polymor...Gravatar Gregory Malecha2015-10-28
* Reverting modifications in dev/top_printers pushed mistakenly.Gravatar Pierre-Marie Pédrot2015-10-14
* Fixing perfomance issue of auto hints induced by universes.Gravatar Pierre-Marie Pédrot2015-10-14
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* Code cleaning in VM (with Benjamin).Gravatar Maxime Dénès2015-10-09
* Minor typo in universe polymorphism doc.Gravatar Maxime Dénès2015-10-09
* Updating versions history with data from Gérard.Gravatar Hugo Herbelin2015-10-02
* Update the history of versions with recent versions.Gravatar Hugo Herbelin2015-10-02
* Univs: More info for developers.Gravatar Matthieu Sozeau2015-10-02
* Fix Windows installer.Gravatar Guillaume Melquiond2015-09-17
* windows build scripts made more accurate in detecting failuresGravatar Enrico Tassi2015-08-17
* A printer for printing constants of the env (maybe useful when there are not ...Gravatar Hugo Herbelin2015-07-30
* adding a missing case for printing zippers.Gravatar Gregory Malecha2015-07-23
* Assumptions: more informative print for False axiom (Close: #4054)Gravatar Enrico Tassi2015-06-29
* win: compile with -debugGravatar Enrico Tassi2015-06-29
* Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-25
* script to build 64 coq installer for windowsGravatar Enrico Tassi2015-06-01
* Fixing #4198 (looking for subterms also in the return clause of match).Gravatar Hugo Herbelin2015-04-21
* use a more compact representation of non-constant constructorsGravatar Benjamin Gregoire2015-03-27
* fix compilationGravatar Benjamin Gregoire2015-03-26
* Adding a possible DEPRECATED flag to VERNAC EXTEND statements.Gravatar Pierre-Marie Pédrot2015-02-19
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
* Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
* Windows installer cleanupGravatar Enrico Tassi2015-02-05
* Removing dead code.Gravatar Pierre-Marie Pédrot2015-02-02
* Univs: proper printing of global and local universe names (onlyGravatar Matthieu Sozeau2015-01-17
* vm_printers: fix compilationGravatar Enrico Tassi2015-01-15
* Update headers.Gravatar Maxime Dénès2015-01-12
* Avoiding introducing yet another convention in naming files.Gravatar Hugo Herbelin2015-01-08
* Compatibility ocaml 3.12.Gravatar Hugo Herbelin2014-12-30
* Minor fixes for the win32 installerGravatar Enrico Tassi2014-12-30
* Win32: fix installerGravatar Enrico Tassi2014-12-19
* More printers for ltac signatures.Gravatar Hugo Herbelin2014-12-16
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Removing import of Proofview in debugger because its module Goal hidesGravatar Hugo Herbelin2014-12-07
* More printers in tracer.Gravatar Hugo Herbelin2014-12-05
* Reactivating option "Set Printing Existential Instances" for asking printing ...Gravatar Hugo Herbelin2014-12-04
* Reverting the following block of three commits:Gravatar Hugo Herbelin2014-11-27
* Experimenting always forcing convertibility on strict implicit argumentsGravatar Hugo Herbelin2014-11-26
* Add printer for transparent state for ocamldebug.Gravatar Hugo Herbelin2014-11-23
* Specific printer of Evar.Set.t for ocamldebug + more information inGravatar Hugo Herbelin2014-11-22