aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
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
2011-11-28Finally used typing to decide whether an alias needs to be expanded orherbelin
2011-11-25Cleaning up XML parsingppedrot
2011-11-24Fixed the XML parser CDATA handling (and changed the EOL convention of these ...ppedrot
2011-11-24Moving XML handling to lib directoryppedrot
2011-11-20coqrc in the right XDG_CONFIG_HOME/coq folderpboutill
2011-11-20Add support for XDG_DATA_HOME and XDG_DATA_DIRS.pboutill
2011-11-14Bug 2636 - Move string_of_ppcmds to Pppboutill
2011-10-17Patch by Dan Grayson to ensure that "Add LoadPath ... as ..." closesherbelin
2011-10-10Hashtbl_alt : typo in a commentletouzey
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-09-05Util.error now creates UserError(_,msg) instead of UserError(str,str)letouzey
2011-09-01[/]+ is equivalent to [/] in System and its copypboutill
2011-08-10Added list_map_filter_imsozeau
2011-07-29Refl_omega: replaced some generic = on constr by eq_constrpuech
2011-07-29Coq_omega: replaced generic = on constr by eq_constrpuech
2011-07-29Hahtbl_alt: separate generic combine functionspuech
2011-07-29Evarutil: generic equality on constr replaced by eq_constr (x2)puech
2011-07-29Tactics: generic equality on constr replaced by eq_constrpuech
2011-07-29Term: Refactoring of hashconsingpuech
2011-07-22For the beauty of tail recursion, a new list_addnpboutill
2011-07-16This option disables the use of the '{| field := ... |}' notationherbelin
2011-06-18Generalizing flag use_evars_pattern_unification into a flagherbelin
2011-05-24Made the emacs-U option deprecated. Also removed the old codecourtieu
2011-05-19Remove useless "open Gc"glondu
2011-05-19Remove System.process_time (dead code)glondu
2011-05-17More work on error handlingletouzey
2011-05-13A new mechanism to handle errors.aspiwack
2011-04-29Choose relative directory over configured directory for coqlib.pboutill
2011-04-28coqtop -config returns coq returns coq environments at exection timepboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:53:14 +0000