aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
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
2014-12-30Compatibility ocaml 3.12.Hugo Herbelin
2014-12-30Minor fixes for the win32 installerEnrico Tassi
2014-12-19Win32: fix installerEnrico Tassi
2014-12-16More printers for ltac signatures.Hugo Herbelin
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-12-07Removing import of Proofview in debugger because its module Goal hidesHugo Herbelin
2014-12-05More printers in tracer.Hugo Herbelin
2014-12-04Reactivating option "Set Printing Existential Instances" for asking printing ...Hugo Herbelin
2014-11-27Reverting the following block of three commits:Hugo Herbelin
2014-11-26Experimenting always forcing convertibility on strict implicit argumentsHugo Herbelin
2014-11-23Add printer for transparent state for ocamldebug.Hugo Herbelin
2014-11-22Specific printer of Evar.Set.t for ocamldebug + more information inHugo Herbelin
2014-11-15Adding a pretty-printing style library.Pierre-Marie Pédrot
2014-11-10Plug the dynamic tags in the Richpp mechanism.Pierre-Marie Pédrot
2014-10-31More "open" by default for trace debugging.Hugo Herbelin
2014-10-22Split [Proofview] into a file where the basic operations on the state are def...Arnaud Spiwack
2014-10-15Fix ill-typed debugging functionMatthieu Sozeau
2014-10-13Adding printers for ppproofview.Hugo Herbelin
2014-10-10Add debug printers for projections, fix printing of evar constraintsMatthieu Sozeau
2014-10-09Adding printer for named_context_val and Goal.goal in debugger.Hugo Herbelin
2014-10-07Adding a printer for hints.Hugo Herbelin
2014-10-02Fixing interpretation of constr under binders which was broken afterHugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:26:32 +0000