aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* make mli-doc fixGravatar pboutill2012-01-16
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* Added ability to take the type of applied metas into account whenGravatar herbelin2011-12-17
* Finally used typing to decide whether an alias needs to be expanded orGravatar herbelin2011-11-28
* Cleaning up XML parsingGravatar ppedrot2011-11-25
* Fixed the XML parser CDATA handling (and changed the EOL convention of these ...Gravatar ppedrot2011-11-24
* Moving XML handling to lib directoryGravatar ppedrot2011-11-24
* coqrc in the right XDG_CONFIG_HOME/coq folderGravatar pboutill2011-11-20
* Add support for XDG_DATA_HOME and XDG_DATA_DIRS.Gravatar pboutill2011-11-20
* Bug 2636 - Move string_of_ppcmds to PpGravatar pboutill2011-11-14
* Patch by Dan Grayson to ensure that "Add LoadPath ... as ..." closesGravatar herbelin2011-10-17
* Hashtbl_alt : typo in a commentGravatar letouzey2011-10-10
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Util.error now creates UserError(_,msg) instead of UserError(str,str)Gravatar letouzey2011-09-05
* [/]+ is equivalent to [/] in System and its copyGravatar pboutill2011-09-01
* Added list_map_filter_iGravatar msozeau2011-08-10
* Refl_omega: replaced some generic = on constr by eq_constrGravatar puech2011-07-29
* Coq_omega: replaced generic = on constr by eq_constrGravatar puech2011-07-29
* Hahtbl_alt: separate generic combine functionsGravatar puech2011-07-29
* Evarutil: generic equality on constr replaced by eq_constr (x2)Gravatar puech2011-07-29
* Tactics: generic equality on constr replaced by eq_constrGravatar puech2011-07-29
* Term: Refactoring of hashconsingGravatar puech2011-07-29
* For the beauty of tail recursion, a new list_addnGravatar pboutill2011-07-22
* This option disables the use of the '{| field := ... |}' notationGravatar herbelin2011-07-16
* Generalizing flag use_evars_pattern_unification into a flagGravatar herbelin2011-06-18
* Made the emacs-U option deprecated. Also removed the old codeGravatar courtieu2011-05-24
* Remove useless "open Gc"Gravatar glondu2011-05-19
* Remove System.process_time (dead code)Gravatar glondu2011-05-19
* More work on error handlingGravatar letouzey2011-05-17
* A new mechanism to handle errors.Gravatar aspiwack2011-05-13
* Choose relative directory over configured directory for coqlib.Gravatar pboutill2011-04-29
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Starting being more explicit on the reasons why module subtyping fails.Gravatar herbelin2011-03-05
* - Fix treatment of globality flag for typeclass instance hints (theyGravatar msozeau2011-02-14
* An generic imperative union-find, used for deps of evars in Class_tacticsGravatar letouzey2011-02-11
* A fine-grain control of inlining at functor application via priority levelsGravatar letouzey2011-01-31
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Fix compilation with camlp5 (Closes: #2487)Gravatar glondu2011-01-25
* Remove Safe_marshalGravatar glondu2011-01-06
* Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commandsGravatar glondu2010-12-25
* Use !Pp_control.std_ft for printing grammarsGravatar glondu2010-12-06
* Remove dead codeGravatar glondu2010-12-03
* adapt slighlty r13642 to support both camlp4 and camlp5-5 and camlp5-6Gravatar letouzey2010-11-18
* Support for camlp5 6.02.0 (Closes: #2432)Gravatar glondu2010-11-16
* Added multiple implicit arguments rules per name.Gravatar herbelin2010-10-03
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Addressing part 2 of bug report 2377 (removing intrusive warning whenGravatar herbelin2010-09-19