aboutsummaryrefslogtreecommitdiff
path: root/library/lib.ml
AgeCommit message (Expand)Author
2001-11-12Suites modifs du noyau. Univ devient purement fonctionnel.barras
2001-11-06corrections mineures suite au commit de restructuration du noyaubarras
2001-11-05GROS COMMIT:barras
2001-10-17Abstraction de l'immplementation de dirpath et implementation dans l'autre se...herbelin
2001-09-19Ajout de la profondeur de section à DischargeAt pour gérer l'«open» et le...herbelin
2001-09-18Mise en place de noms contenant la section pour Fact et Remarkherbelin
2001-09-06Rétablissement de Print Sectionherbelin
2001-09-06Bug default module name (2eme)herbelin
2001-09-06Bug default module nameherbelin
2001-08-10Parsingherbelin
2001-07-05Avertissement contre les Require dans le corps d'une sectionherbelin
2001-03-15entetesfilliatr
2001-02-28bug Reset et Sectionsfilliatr
2000-12-20Test pour empêcher 2 sections de même nomsherbelin
2000-12-19Pédagogieherbelin
2000-12-15Bug des locaux au premier niveau des modules qui disparaissaient de l'environ...herbelin
2000-12-06Reparation conditions de positivites inductifs, echange dans add_entrymohring
2000-11-29La zone par défaut pour le nommage des modules est Scratchherbelin
2000-11-28Prise en compte du repertoire dans le section path; utilisation de dirpath po...herbelin
2000-11-24Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabfilliatr
2000-11-24certains effets disparaissent a la sortie des sections, d'autres non (selon S...filliatr
2000-11-21reset_name: try / with juste autour de find_entry_p (=> propage lesfilliatr
2000-11-21ajout d'un frozen_state après la fermeture d'une section (sinon bug !)filliatr
2000-11-21correction bug Resetfilliatr
2000-11-21separation calcul des implicites et declaration des constantes / inductifs / ...filliatr
2000-11-20Petit bug entre close_section'sherbelin
2000-11-20Ajout d'une Nametab et d'un flag export aux ClosedSection; on applique export...herbelin
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-02-01 03:26:15 +0000