aboutsummaryrefslogtreecommitdiff
path: root/pretyping
AgeCommit message (Expand)Author
2000-03-16Syntactic Definition n'etaient pas correctemenet importeesfilliatr
2000-03-16Qqes bugs (evars dans le predicat; tag des cas défauts)herbelin
2000-03-10*** empty log message ***barras
2000-03-10Reparation bug isevars dans pretypingherbelin
2000-03-08La partie 'val' de trad_constraints devient un typed_typeherbelin
2000-03-08MAJ nouveau try_mutind_ofherbelin
2000-03-08Un nouveau moteur pour Cases (phase 1)herbelin
2000-03-07Renommage mt_con -> empty_conherbelin
2000-03-07Commentaireherbelin
2000-03-07Export inh_conv_coerce_to et diversherbelin
2000-01-28documentationfilliatr
2000-01-27erreurs latex dans interfacesfilliatr
2000-01-26MAJ ocaml 2.99 (espaces dans la syntaxe des cast)herbelin
2000-01-26Abstraction de l'implémentation des signatures de Sign en vue intégration d...herbelin
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
2000-01-20Broutillesherbelin
2000-01-13Plus d'unfold inutile des Fix dans Simplherbelin
2000-01-11Ajout de Recordherbelin
2000-01-07Traduction constr->rawconstr (avant dans Termastherbelin
2000-01-07Correction pbs liés aux evarherbelin
2000-01-07Déplacement non-affichage des coercions dans termastherbelin
1999-12-15Bug liftherbelin
1999-12-15Nouveaux types 'constructor' et 'inductive' dans Term;herbelin
1999-12-13 - états fabriqués avec -silentfilliatr
1999-12-13 - méthode load sur les Hintsfilliatr
1999-12-13Poursuite intégration du Casesherbelin
1999-12-11Intégration initiale du Casesherbelin
1999-12-11Quelques fonctions sur les locations des rawconstrherbelin
1999-12-10 - erreurs Pretypefilliatr
1999-12-10Suppression Rel de rawconstr et correction de bugs d'affichageherbelin
1999-12-09Ajout des messages d'erreurs de Casesherbelin
1999-12-05changement type add_anonymous_leaffilliatr
1999-12-03 - global_reference traite des variablesfilliatr
1999-12-02Modifs suite à intégration de class.mlherbelin
1999-12-02... dans toplevelherbelin
1999-12-02modifs pour premiere edition de liensfilliatr
1999-12-02affichage classes et coercionsfilliatr
1999-12-01Intégration du Termast et du Retyping de HH, et modifications connexesherbelin
1999-12-01Renommage de multcase en casesherbelin
1999-12-01Retour dans pretypingherbelin
1999-12-01déplacé dans kernelherbelin
1999-12-01mise au point Declare et avancee dans Asttermfilliatr
1999-12-01mise a jour Coercionfilliatr
1999-12-01 - environment -> safe_environmentfilliatr
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-30inductive_key et constructor_keyherbelin
1999-11-30ocamlwebfilliatr
1999-11-30ocamlwebfilliatr
1999-11-29portage modules Evarconv et Evarutilfilliatr
1999-11-29portage Astterm (partiellement)filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 06:08:54 +0000