aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-14This patch removes unused "open" (automatically generated fromregisgia
2012-09-14lib/Pp:regisgia
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-09-13Made Pp.std_ppcmds opaque.ppedrot
2012-09-10Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5ppedrot
2012-09-09When asked for a SearchAbout request, Coq now returns a more preciseppedrot
2012-08-24correct some ends of .mllib files (avoid a broken tolink.ml)letouzey
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-08Updating headers.herbelin
2012-08-02Bigint: new functions of_int and to_int, 2nd arg of pow in intletouzey
2012-07-31Bigint: adds a missing -1 in hugo's last commit 15659letouzey
2012-07-30Bigint : better ensure canonicity of arrays of int blocksletouzey
2012-07-30Bigint: avoid dependency over Ppletouzey
2012-07-29Better fixing propagation of carry in sub_mult used for euclidianherbelin
2012-07-21Fixing unchecked overflow in sub_mult used for euclidian division overherbelin
2012-07-20Reductionops refactoringpboutill
2012-07-20Put Option in Clibpboutill
2012-07-12A new status Unsafe in Interface. Meant for commands such as Admitted.aspiwack
2012-07-10Adapting the IDE interface with the focussed display.ppedrot
2012-07-05Notation: a new annotation "compat 8.x" extending "only parsing"letouzey
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-06-28Fixing info_auto / info_trivial display.ppedrot
2012-06-26Fixed string width printing in string_of_ppcmdsppedrot
2012-06-26Added a Deque module to CLib (to be used in CoqIDE).ppedrot
2012-06-23Documentation of pp.mlippedrot
2012-06-23Moving logging level to Interface.ppedrot
2012-06-22Fixing Camlp4 compilation (hopefully, preprocessing fixpoint reached...)ppedrot
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-06-21Fixing #2825.ppedrot
2012-06-20Fixing bug #2809 (anomaly when printing a module with notations due toherbelin
2012-06-15Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BINpboutill
2012-06-14coq_makefile fixuppboutill
2012-06-12bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfullypboutill
2012-06-07Colorization of coqtop messages is turned *off* by defaultletouzey
2012-06-04A box to pretty-print them all.ppedrot
2012-06-04Added a color output to Coqtop.ppedrot
2012-06-04Separated notice vs info messages, and cleaned up the interface a bit.ppedrot
2012-06-02Flushing formatters before program exit.ppedrot
2012-06-01More cleaningppedrot
2012-06-01Cleaning Pp.ppnl useppedrot
2012-06-01Getting rid of Pp.msgnl and Pp.message.ppedrot
2012-05-30Getting rid of Pp.msgppedrot
2012-05-30More uniformisation in Pp.warn functions.ppedrot
2012-05-29Vernacexpr is now a mli-only file, locality stuff now in locality.mlletouzey
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-13Added a SearchAbout-like primitive in coqtop interface.ppedrot
2012-05-13Added an interface primitive to ask coqtop for its internal versions.ppedrot
2012-05-11Slightly modified the coqtop interface by adding an identifier inppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 14:08:45 +0000