aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/lib.ml
Commit message (Expand)AuthorAge
* Bug pop_path_prefix : List.rev manquantGravatar herbelin2000-10-25
* correction bug univers (dummy_univ)Gravatar filliatr2000-10-06
* bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...Gravatar filliatr2000-06-21
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* sauvegarde de la valeur de module_nameGravatar filliatr1999-12-14
* mise a jour de refiner.ml (reports de modifs de la V6.3)Gravatar barras1999-12-13
* modulesGravatar filliatr1999-12-12
* debug resetGravatar filliatr1999-12-10
* - constantes avec recettesGravatar filliatr1999-12-09
* deplacement de Discharge dans toplevelGravatar filliatr1999-12-08
* add_leaf -> application methode cacheGravatar filliatr1999-12-05
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* make_strength / reset_libraryGravatar filliatr1999-12-01
* portage Astterm (partiellement)Gravatar filliatr1999-11-29
* with_heavy_rollback deplace dans StatesGravatar filliatr1999-09-29
* juste l'interface de DischargeGravatar filliatr1999-09-28
* module DeclareGravatar filliatr1999-09-19
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* module LibraryGravatar filliatr1999-09-18
* modules System, Lib et StatesGravatar filliatr1999-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 19:10:59 +0000