| rebranch from Name to Ident, feel free to revert |
|
More...
|
about 14 years ago
|
| add Ident module (Name+loc+origin), feel free to revert |
|
More...
|
about 14 years ago
|
| Typing : chargement et typage (paresseux) des theories |
|
More...
|
about 14 years ago
|
| recherche dans le loadpath |
|
More...
|
about 14 years ago
|
| nettoyage |
|
More...
|
about 14 years ago
|
| nettoyage |
|
More...
|
about 14 years ago
|
| source rearrangement, feel free to revert if disagree |
|
More...
|
about 14 years ago
|
| [no comment] |
|
More...
|
about 14 years ago
|
| Typing: use |
|
More...
|
about 14 years ago
|
| Typing utilise maintenant Theory |
|
More...
|
about 14 years ago
|
| minor |
|
More...
|
about 14 years ago
|
| Env devient Theory |
|
More...
|
about 14 years ago
|
| headers |
|
More...
|
about 14 years ago
|
| deplacement de Term.Ty dans ty.ml |
|
More...
|
about 14 years ago
|
| deplacement de Hashcons dans src/lib/ |
|
More...
|
about 14 years ago
|
| introduction d'un module Env ; grand chantier en cours (plus rien ne fonctionne) |
|
More...
|
about 14 years ago
|
| deplacement de why.el dans lib/emacs |
|
More...
|
about 14 years ago
|
| deplacement de lib dans src/lib |
|
More...
|
about 14 years ago
|
| ajout de quelques theory |
|
More...
|
about 14 years ago
|
| Correction des bads pour la nouvelle syntaxe |
|
More...
|
about 14 years ago
|
| un peu de definition de syntax |
|
More...
|
about 14 years ago
|
| remplacement de logic par function |
|
More...
|
about 14 years ago
|
| ajout de théories dans test.why |
|
More...
|
about 14 years ago
|
| [no comment] |
|
More...
|
about 14 years ago
|
| un debut de manuel |
|
More...
|
about 14 years ago
|
| une premiere version de open |
|
More...
|
about 14 years ago
|
| quelques tests |
|
More...
|
about 14 years ago
|
| token UNDERSCORE |
|
More...
|
about 14 years ago
|
| petit nettoyage des AST et du parser |
|
More...
|
about 14 years ago
|
| uses = declaration comme une autre ; retablissement du . dans la syntaxe de forall/exists |
|
More...
|
about 14 years ago
|
