aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend
Commit message (Expand)AuthorAge
* kernel/type_errors.mlGravatar herbelin2000-09-06
* retablissement make doc et make minicoqGravatar filliatr2000-07-25
* MAJGravatar herbelin2000-07-24
* Pattern -> parsingGravatar delahaye2000-07-21
* portage RefineGravatar filliatr2000-07-20
* MAJGravatar herbelin2000-06-29
* portage EAuto et RingGravatar filliatr2000-06-21
* MAJGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* MAJGravatar herbelin2000-05-18
* Intégration de leminvGravatar herbelin2000-05-05
* MAJGravatar herbelin2000-05-04
* MAJGravatar herbelin2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* MAJGravatar herbelin2000-04-30
* MAJGravatar herbelin2000-04-28
* portage Omega (code seulement)Gravatar filliatr2000-04-28
* MAJGravatar herbelin2000-04-26
* - bug make_module_marker (plus de # et de .obj maintenant)Gravatar filliatr2000-03-21
* MAJGravatar herbelin2000-03-21
* MAJGravatar herbelin2000-03-21
* TautoGravatar filliatr2000-03-20
* MAJGravatar herbelin2000-03-08
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Nettoyage des fichiers de parsingGravatar herbelin2000-01-13
* Ajout de RecordGravatar herbelin2000-01-11
* Restructuration diversesGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* rattrapage exceptions autres que UserErrorGravatar filliatr1999-12-14
* petite erreur dans CommandGravatar filliatr1999-12-13
* Poursuite intégration du CasesGravatar herbelin1999-12-13
* mise a jourGravatar filliatr1999-12-12
* mise en place des outilsGravatar filliatr1999-12-11
* Intégration initiale du CasesGravatar herbelin1999-12-11
* debug resetGravatar filliatr1999-12-10
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* deplacement de Discharge dans toplevelGravatar filliatr1999-12-08
* debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkesGravatar filliatr1999-12-07
* Ajout option spéciale PPCGravatar herbelin1999-12-06
* premier debugageGravatar filliatr1999-12-05
* compilation nativeGravatar filliatr1999-12-03
* bug make_strength repareGravatar filliatr1999-12-03
* - coqmktopGravatar filliatr1999-12-03
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* - global_reference traite des variablesGravatar filliatr1999-12-03
* Modifs suite à intégration de class.mlGravatar herbelin1999-12-02
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* poursuite de VernacentriesGravatar filliatr1999-12-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 15:29:34 +0000