aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2016-06-03Add license text to the windows installationEnrico Tassi
2016-05-31Revert "Rename Lexer -> CLexer."Pierre-Marie Pédrot
2016-05-26Pfedit.get_current_context refinement (fix #4523)Matthieu Sozeau
2016-05-09Rename Lexer -> CLexer.Pierre-Marie Pédrot
2016-04-07Use -win32 and -win64 suffixes for installer name on Windows.Maxime Dénès
2016-03-14Trying to circumvent hdiutil error 5341 by padding.Maxime Dénès
2016-03-04Rename Ephemeron -> CEphemeron.Maxime Dénès
2016-03-04Fix a typo in dev/doc/changes.txtJason Gross
2016-01-21Compile OS X binaries without native_compute support.Maxime Dénès
2016-01-20Update copyright headers.Maxime Dénès
2016-01-13Fixing #4467 (continued).Hugo Herbelin
2016-01-05Fix order of files in mllib.Maxime Dénès
2015-12-07Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...Matej Kosik
2015-12-07Fix some typos.Guillaume Melquiond
2015-12-02Update history of revisions.Hugo Herbelin
2015-11-18MacOS package script: do not fail if link to /Applications already exists.Maxime Dénès
2015-11-16Being more precise and faithful about the origin of the file reportingHugo Herbelin
2015-11-13MacOS package script: do not fail if directory _dmg already exists.Maxime Dénès
2015-11-12Script building MacOS package.Maxime Dénès
2015-10-29Fixing another instance of bug #3267 in eauto, this time in theHugo Herbelin
2015-10-28Refine Gregory Malecha's patch on VM and universe polymorphism.Maxime Dénès
2015-10-28Adds support for the virtual machine to perform reduction of universe polymor...Gregory Malecha
2015-10-14Reverting modifications in dev/top_printers pushed mistakenly.Pierre-Marie Pédrot
2015-10-14Fixing perfomance issue of auto hints induced by universes.Pierre-Marie Pédrot
2015-10-13Fix some typos.Guillaume Melquiond
2015-10-09Code cleaning in VM (with Benjamin).Maxime Dénès
2015-10-09Minor typo in universe polymorphism doc.Maxime Dénès
2015-10-02Updating versions history with data from Gérard.Hugo Herbelin
2015-10-02Update the history of versions with recent versions.Hugo Herbelin
2015-10-02Univs: More info for developers.Matthieu Sozeau
2015-09-17Fix Windows installer.Guillaume Melquiond
2015-08-17windows build scripts made more accurate in detecting failuresEnrico Tassi
2015-07-30A printer for printing constants of the env (maybe useful when there are not ...Hugo Herbelin
2015-07-23adding a missing case for printing zippers.Gregory Malecha
2015-06-29Assumptions: more informative print for False axiom (Close: #4054)Enrico Tassi
2015-06-29win: compile with -debugEnrico Tassi
2015-06-25Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Thomas Sibut-Pinote
2015-06-01script to build 64 coq installer for windowsEnrico Tassi
2015-04-21Fixing #4198 (looking for subterms also in the return clause of match).Hugo Herbelin
2015-03-27use a more compact representation of non-constant constructorsBenjamin Gregoire
2015-03-26fix compilationBenjamin Gregoire
2015-02-19Adding a possible DEPRECATED flag to VERNAC EXTEND statements.Pierre-Marie Pédrot
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-05Windows installer cleanupEnrico Tassi
2015-02-02Removing dead code.Pierre-Marie Pédrot
2015-01-17Univs: proper printing of global and local universe names (onlyMatthieu Sozeau
2015-01-15vm_printers: fix compilationEnrico Tassi
2015-01-12Update headers.Maxime Dénès
2015-01-08Avoiding introducing yet another convention in naming files.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:17:18 +0000