| juste l'interface de Discharge |
|
More...
|
about 26 years ago
|
| quelques trucs necessaires au toplevel |
|
More...
|
about 26 years ago
|
| retablissement du toplevel |
|
More...
|
about 26 years ago
|
| ajout de divers fonctions dans lib/ |
|
More...
|
about 26 years ago
|
| ajout des constraintes pendant le chargement d'un module (load) |
|
More...
|
about 26 years ago
|
| report d'une correction de Bruno |
|
More...
|
about 26 years ago
|
| message erreur UI pendant import |
|
More...
|
about 26 years ago
|
| ensembles de contraintes d'univers |
|
More...
|
about 26 years ago
|
| module Declare |
|
More...
|
about 26 years ago
|
| - un effort sur la doc (ocamlweb) - module Nametab - module Impargs - correction bug : Parameter id : t => v��rification que t est bien un type |
|
More...
|
about 26 years ago
|
| un effort sur la doc (ocamlweb) |
|
More...
|
about 26 years ago
|
| module Library |
|
More...
|
about 26 years ago
|
| affichage des erreurs de typage dans minicoq |
|
More...
|
about 26 years ago
|
| documentation repertoire toplevel |
|
More...
|
about 26 years ago
|
| modules System, Lib et States |
|
More...
|
about 26 years ago
|
| les sections ne sont plus stock��es �� l'envers dans les section paths |
|
More...
|
about 26 years ago
|
| simplifications de code |
|
More...
|
about 26 years ago
|
| implode cod�� avec String.concat |
|
More...
|
about 26 years ago
|
| environement global |
|
More...
|
about 26 years ago
|
| compilation en natif (r��gles g��n��riques, cibles coqtop et coqtop.byte, etc.) |
|
More...
|
about 26 years ago
|
| module Himsg |
|
More...
|
about 26 years ago
|
| module Himsg, comme un foncteur |
|
More...
|
about 26 years ago
|
| cible doc |
|
More...
|
about 26 years ago
|
| on fabrique aussi dev/db_printer.cmo |
|
More...
|
about 26 years ago
|
| un wrapper autour de ocamldebug |
|
More...
|
about 26 years ago
|
| printers pour le debugger |
|
More...
|
about 26 years ago
|
| le bien nomme' |
|
More...
|
about 26 years ago
|
| changements dans les grammaires |
|
More...
|
about 26 years ago
|
| compilation des grammaires (ouf) |
|
More...
|
about 26 years ago
|
| - deplacement time stamps dans System (car utilise Unix) - dependances fichiers camlp4 (quelle merde !) |
|
More...
|
about 26 years ago
|
