aboutsummaryrefslogtreecommitdiff
path: root/toplevel
AgeCommit message (Expand)Author
2000-01-11Ajout de Recordherbelin
2000-01-07Restructuration printer et parserherbelin
2000-01-07Renommage command en constrherbelin
2000-01-07Déplacement print_emacs dans Optionsherbelin
2000-01-07Déplacement non-affichage des coercions dans termastherbelin
1999-12-16bug : import -> export dans Requirefilliatr
1999-12-15message erreur Schemeherbelin
1999-12-15Nouveaux types 'constructor' et 'inductive' dans Term;herbelin
1999-12-15Les inductifs dans Scheme doivent être des ident d'inductifsherbelin
1999-12-13 - états fabriqués avec -silentfilliatr
1999-12-13 - méthode load sur les Hintsfilliatr
1999-12-13petite erreur dans Commandfilliatr
1999-12-13documentation interfacesfilliatr
1999-12-12modulesfilliatr
1999-12-10 - erreurs Pretypefilliatr
1999-12-10debug resetfilliatr
1999-12-10Suppression Rel de rawconstr et correction de bugs d'affichageherbelin
1999-12-10debug discharge et inductifsfilliatr
1999-12-09Ajout des messages d'erreurs de Casesherbelin
1999-12-09 - constantes avec recettesfilliatr
1999-12-09Discharge (encore bugge)filliatr
1999-12-08deplacement de Discharge dans toplevelfilliatr
1999-12-06initialisation load path (provisoire)filliatr
1999-12-06declarations eliminations / debuggae inductifs (debut)filliatr
1999-12-06erreurs lexicalesfilliatr
1999-12-05premier debugagefilliatr
1999-12-03compilation nativefilliatr
1999-12-03bug make_strength reparefilliatr
1999-12-03 - coqmktopfilliatr
1999-12-03modules profile, Coqinit et Coqtop (=main)filliatr
1999-12-03 - global_reference traite des variablesfilliatr
1999-12-02Modifs suite à intégration de class.mlherbelin
1999-12-02Version initialeherbelin
1999-12-02modifs pour premiere edition de liensfilliatr
1999-12-02module Commandfilliatr
1999-12-01Intégration du Termast et du Retyping de HH, et modifications connexesherbelin
1999-12-01module Metasyntaxfilliatr
1999-12-01mise au point Declare et avancee dans Asttermfilliatr
1999-12-01portage Vernacentries (debut)filliatr
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-29portage modules Evarconv et Evarutilfilliatr
1999-11-24MAJ pour fusion avec pretypingherbelin
1999-11-24Vernacinterp et Vernacentries (partiellement)filliatr
1999-11-24Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsfilliatr
1999-11-23modules Indrec, Tacentries, Hiddentacfilliatr
1999-11-10On se fait la main: plus de precision si ill-formed rec bodyherbelin
1999-10-14module Logicfilliatr
1999-10-08deplacement des var. ex. dans proofsfilliatr
1999-09-29with_heavy_rollback deplace dans Statesfilliatr
1999-09-28corrections pour ocamlwebfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-10 23:14:30 +0000