aboutsummaryrefslogtreecommitdiff
path: root/toplevel/coqinit.mli
AgeCommit message (Expand)Author
2016-01-20Update copyright headers.Maxime Dénès
2015-04-02Remove Mltop.add_path as it is no longer possible to import files from subdir...Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2014-04-08Add an option -Q (tentative name).Guillaume Melquiond
2014-04-06Change handling of loadpath and mlpath.Guillaume Melquiond
2013-02-19Dir_path --> DirPathletouzey
2012-12-14Modulification of dir_pathppedrot
2012-08-08Updating headers.herbelin
2012-07-05Notation: a new annotation "compat 8.x" extending "only parsing"letouzey
2011-11-21-user option removalpboutill
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2004-07-16Nouvelle en-têteherbelin
2001-05-23amelioration des messages d'erreurs vis a vis des evarsbarras
2001-03-15entetesfilliatr
2001-02-07Meilleure approche du conflit path/freeze/library_root en séquentialisant la...herbelin
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-11-29Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...herbelin
2000-11-08nouveau load pathfilliatr
1999-12-03modules profile, Coqinit et Coqtop (=main)filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 23:39:21 +0000