aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
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
2011-04-21Win32: remove the need for Coq.bat and Coqide.batletouzey
2011-04-14Add directories in COQPATH to search path.herbelin
2011-04-03Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksletouzey
2011-03-05Starting being more explicit on the reasons why module subtyping fails.herbelin
2011-02-14- Fix treatment of globality flag for typeclass instance hints (theymsozeau
2011-02-11An generic imperative union-find, used for deps of evars in Class_tacticsletouzey
2011-01-31A fine-grain control of inlining at functor application via priority levelsletouzey
2011-01-28Remove the "Boxed" syntaxes and the const_entry_boxed fieldletouzey
2011-01-25Fix compilation with camlp5 (Closes: #2487)glondu
2011-01-06Remove Safe_marshalglondu
2010-12-25Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commandsglondu
2010-12-06Use !Pp_control.std_ft for printing grammarsglondu
2010-12-03Remove dead codeglondu
2010-11-18adapt slighlty r13642 to support both camlp4 and camlp5-5 and camlp5-6letouzey
2010-11-16Support for camlp5 6.02.0 (Closes: #2432)glondu
2010-10-03Added multiple implicit arguments rules per name.herbelin
2010-09-24Some dead code removal, thanks to Oug analyzerletouzey
2010-09-19Addressing part 2 of bug report 2377 (removing intrusive warning whenherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:31:01 +0000