| - ��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
|
| chemin compile des fichiers Coq |
|
More...
|
almost 26 years ago
|
| petite erreur dans Command |
|
More...
|
almost 26 years ago
|
| documentation |
|
More...
|
almost 26 years ago
|
| documentation interfaces |
|
More...
|
almost 26 years ago
|
| fichiers prelude Coq |
|
More...
|
almost 26 years ago
|
| Poursuite int��gration du Cases |
|
More...
|
almost 26 years ago
|
| Ajout pp pattern et rawterm |
|
More...
|
almost 26 years ago
|
| mise a jour |
|
More...
|
almost 26 years ago
|
| modules et coqc |
|
More...
|
almost 26 years ago
|
| modules |
|
More...
|
almost 26 years ago
|
| renommage (nom de module invalide) |
|
More...
|
almost 26 years ago
|
| mise en place des outils |
|
More...
|
almost 26 years ago
|
| outils (manquent encore les deux filtres) |
|
More...
|
almost 26 years ago
|
| Int��gration initiale du Cases |
|
More...
|
almost 26 years ago
|
| Quelques fonctions sur les locations des rawconstr |
|
More...
|
almost 26 years ago
|
| bug: enregistrement de vartab au lieu de csttab |
|
More...
|
almost 26 years ago
|
| indications pour les developpeurs |
|
More...
|
almost 26 years ago
|
| - erreurs Pretype - Write / Restore State |
|
More...
|
almost 26 years ago
|
| debug reset |
|
More...
|
almost 26 years ago
|
| Suppression Rel de rawconstr et correction de bugs d'affichage |
|
More...
|
almost 26 years ago
|
| debug discharge et inductifs |
|
More...
|
almost 26 years ago
|
| Ajout des messages d'erreurs de Cases |
|
More...
|
almost 26 years ago
|
| Bug affichage constructeur |
|
More...
|
almost 26 years ago
|
| - constantes avec recettes - discharge en deux temps, avec ��tat remis comme au d��but de la section (mais c'est toujours bugg��) |
|
More...
|
almost 26 years ago
|
| Discharge (encore bugge) |
|
More...
|
almost 26 years ago
|
| deplacement de Discharge dans toplevel |
|
More...
|
about 26 years ago
|
| link Dhyp et Auto |
|
More...
|
about 26 years ago
|
| debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes |
|
More...
|
about 26 years ago
|
