aboutsummaryrefslogtreecommitdiff
path: root/library/lib.ml
AgeCommit message (Expand)Author
2000-11-15methode exportfilliatr
2000-11-06Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ...herbelin
2000-10-25Bug pop_path_prefix : List.rev manquantherbelin
2000-10-06correction bug univers (dummy_univ)filliatr
2000-06-21bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...filliatr
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
1999-12-14sauvegarde de la valeur de module_namefilliatr
1999-12-13mise a jour de refiner.ml (reports de modifs de la V6.3)barras
1999-12-12modulesfilliatr
1999-12-10debug resetfilliatr
1999-12-09 - constantes avec recettesfilliatr
1999-12-08deplacement de Discharge dans toplevelfilliatr
1999-12-05add_leaf -> application methode cachefilliatr
1999-12-02modifs pour premiere edition de liensfilliatr
1999-12-01make_strength / reset_libraryfilliatr
1999-11-29portage Astterm (partiellement)filliatr
1999-09-29with_heavy_rollback deplace dans Statesfilliatr
1999-09-28juste l'interface de Dischargefilliatr
1999-09-19module Declarefilliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-09-18module Libraryfilliatr
1999-09-10modules System, Lib et Statesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-05 06:22:49 +0000