| Nettoyage des fichiers de parsing |
|
More...
|
almost 26 years ago
|
| Plus d'unfold inutile des Fix dans Simpl |
|
More...
|
almost 26 years ago
|
| Ajout de Record |
|
More...
|
almost 26 years ago
|
| Bugs |
|
More...
|
almost 26 years ago
|
| Ajout '|' en tete de filtrage |
|
More...
|
almost 26 years ago
|
| Grammaire pour Grammar et Syntax, avant dans Extend |
|
More...
|
almost 26 years ago
|
| Traduction constr->rawconstr (avant dans Termast |
|
More...
|
almost 26 years ago
|
| Restructuration printer et parser |
|
More...
|
almost 26 years ago
|
| Restructuration diverses |
|
More...
|
almost 26 years ago
|
| MAJ |
|
More...
|
almost 26 years ago
|
| Renommage command en constr |
|
More...
|
almost 26 years ago
|
| D��placement print_emacs dans Options |
|
More...
|
almost 26 years ago
|
| Correction pbs li��s aux evar |
|
More...
|
almost 26 years ago
|
| D��placement non-affichage des coercions dans termast |
|
More...
|
almost 26 years ago
|
| Restructuration printer et parser |
|
More...
|
almost 26 years ago
|
| Renommage command en constr |
|
More...
|
almost 26 years ago
|
| erreurs de syntax :$ |
|
More...
|
almost 26 years ago
|
| bug : import -> export dans Require |
|
More...
|
almost 26 years ago
|
| message erreur Scheme |
|
More...
|
almost 26 years ago
|
| Bug lift |
|
More...
|
almost 26 years ago
|
| Nouveaux types 'constructor' et 'inductive' dans Term; les fonctions sur les inductifs prennent maintenant des 'inductive' en param��tres; elle n'ont plus besoin de faire des appels dangereux aux find_m*type qui centralisent la lev��e de raise Induc. |
|
More...
|
almost 26 years ago
|
| Les inductifs dans Scheme doivent ��tre des ident d'inductifs |
|
More...
|
almost 26 years ago
|
| clarification du code |
|
More...
|
almost 26 years ago
|
| rattrapage exceptions autres que UserError |
|
More...
|
almost 26 years ago
|
| sauvegarde de la valeur de module_name |
|
More...
|
almost 26 years ago
|
| bug mk_clenv_from lorsque pas d arguments |
|
More...
|
almost 26 years ago
|
| pretty-printers pour le debugger |
|
More...
|
almost 26 years ago
|
| mise a jour de refiner.ml (reports de modifs de la V6.3) bug possible dans lib.ml |
|
More...
|
almost 26 years ago
|
| - ��tats fabriqu��s avec -silent - compilation theories avec -q - correction but de tclORELSE qui doit maintenant rattraper aussi TypeError et RefinerError |
|
More...
|
almost 26 years ago
|
| - m��thode load sur les Hints - CAST pris en compte dans Astterm - Coercin.lookup_path_to_sort_from prot��g�� par un try/with |
|
More...
|
almost 26 years ago
|
