aboutsummaryrefslogtreecommitdiff
path: root/_tags
AgeCommit message (Expand)Author
2016-06-08Officially discontinue the experimental coq build via ocamlbuildPierre Letouzey
2016-06-05Removing the Q_constr file.Pierre-Marie Pédrot
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2015-02-27Adding a new folder corresponding to the low-level part of the pretyperPierre-Marie Pédrot
2015-02-17Remove Whelp commands.Maxime Dénès
2013-12-16A few fixes to the build system (mostly for ocamlbuild)Pierre Letouzey
2013-04-18coqc and coqmktop migrated in tools/, get rid of scripts/ subdirletouzey
2013-01-22Revert "remove -rectypes except for term.ml"mdenes
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-10-06Turn mltop.ml4 into a regular ocaml fileletouzey
2012-10-06ocamlbuild simplificationsletouzey
2012-10-06remove -rectypes except for term.mlletouzey
2012-05-29place all pretty-printing files in new dir printing/letouzey
2012-05-29place all files specific to camlp4 syntax extensions in grammar/letouzey
2012-05-29Vernacexpr is now a mli-only file, locality stuff now in locality.mlletouzey
2012-04-26migration of g_obligations.ml4, ocamlbuild sideletouzey
2012-04-12lib directory is cut in 2 cma.pboutill
2011-11-24Moving XML handling to lib directoryppedrot
2011-11-09Fixed ocamlbuild compilation (Tom Prince)ppedrot
2011-09-06Ocamlbuild : build of fake_ideletouzey
2011-09-03Bug 3596: ocamlbuild: coq_makefile now requires Unixpboutill
2011-04-26G_vernac can be parsed without grammar.cmaletouzey
2011-04-21Ocamlbuild: in win32, coqide is now a console-free app by defaultletouzey
2011-04-08ocamlbuild: support again camlp5 in addition to camlp4letouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-01-11Fix ocamlbuild-based build systemglondu
2010-07-15Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo)letouzey
2010-06-03Misc fixes related to new nsatz (and ocamlbuild)letouzey
2010-05-19Ocamlbuild: various fixletouzey
2010-05-19static (and shared) camlp4use instead of per-file declarationletouzey
2010-03-18Myocamlbuild: slight simplification of code for .ml4letouzey
2009-12-08Fix the build of coq via ocamlbuildletouzey
2009-07-20Use camlp4 to accept some specific non-exhaustive patterns in groebnerletouzey
2009-04-28_tags: lexer.ml4 now uses pa_macroletouzey
2009-04-08ocamlbuild: tags for new file tactics/rewrite.ml4letouzey
2009-03-29Csdpcert: adaptation after last commitletouzey
2009-03-29ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)letouzey
2009-03-26ocamlbuild: coqide, coqchk, a bit of .voletouzey
2009-03-24ocamlbuild improvements + minor makefile fixletouzey
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:42:38 +0000