aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
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
2012-05-02Always add the Coq_config.dirs to xdg_dirspboutill
2012-05-02Added an interface call to exit Coqtop nicely.ppedrot
2012-04-26Program: avoid staying in program mode after a failed Program commandletouzey
2012-04-15Adding newline after warning and restoring distinction betweenherbelin
2012-04-12lib directory is cut in 2 cma.pboutill
2012-04-05Shortcuts and optimizations of comparisonsxclerc
2012-03-30info_trivial, info_auto, info_eauto, and debug (trivial|auto)letouzey
2012-03-26Unification: Added a heuristic to solve problems of the formherbelin
2012-03-20Reorganizing the structure of evarutil.ml (only restructuration, noherbelin
2012-03-18Yet another subtlety with bug 2732: when several grammar rules of aherbelin
2012-03-14Second step of integration of Program:msozeau
2012-03-02Noise for nothingpboutill
2012-01-16make mli-doc fixpboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-17Added ability to take the type of applied metas into account whenherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 12:22:23 +0000