aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1999-10-13 - re-introduction d'une evar_map dans unsafe_envfilliatr
- les var. ex. sont des entiers, et non plus des section_path git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@99 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-13documentationfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@98 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-13redeplacement des var. ex. dans kernel :-)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@97 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-12module Logicfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@96 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-08module Logic (ne compile pas encore)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@95 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-08deplacement des var. ex. dans proofsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@94 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-08deplacements des var. ex. hors du noyaufilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@93 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-08time stampsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@92 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-01deep_gp pour l'écriture dans un fichierfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@91 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-10-01documentation interfacefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@90 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-29with_heavy_rollback deplace dans Statesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@89 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-28corrections pour ocamlwebfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@88 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-28module Bstack et Editfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@87 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-28mise en place du toplevel (ne compile pas encore)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@86 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-28juste l'interface de Dischargefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@85 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-28quelques trucs necessaires au toplevelfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@84 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-28retablissement du toplevelfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@83 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-28ajout de divers fonctions dans lib/filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@82 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-27ajout des constraintes pendant le chargement d'un module (load)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@81 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-27report d'une correction de Brunofilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@80 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-26message erreur UI pendant importfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@79 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-25ensembles de contraintes d'universfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@78 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-19module Declarefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@77 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
- module Nametab - module Impargs - correction bug : Parameter id : t => vérification que t est bien un type git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@76 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-19un effort sur la doc (ocamlweb)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@75 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-18module Libraryfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@74 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-10affichage des erreurs de typage dans minicoqfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@73 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-10documentation repertoire toplevelfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@72 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-10modules System, Lib et Statesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@71 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-09les sections ne sont plus stockées à l'envers dans les section pathsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@70 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-09simplifications de codefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@69 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-09implode codé avec String.concatfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@68 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-09environement globalfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@67 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-09compilation en natif (règles génériques, cibles coqtop et coqtop.byte, etc.)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@66 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08module Himsgfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@65 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08module Himsg, comme un foncteurfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@64 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08cible docfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@63 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08on fabrique aussi dev/db_printer.cmofilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@62 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08un wrapper autour de ocamldebugfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@61 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08printers pour le debuggerfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@60 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08le bien nomme'filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@59 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08changements dans les grammairesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@58 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08compilation des grammaires (ouf)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@57 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08 - deplacement time stamps dans System (car utilise Unix)filliatr
- dependances fichiers camlp4 (quelle merde !) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@56 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08modules grammaire Coqfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@55 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08time stamps dans Systemfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@54 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08modules Ast et Pcoqfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@53 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08deplacement coqast vers parsing/filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@52 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, ↵filliatr
Const et Construct mots cles git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@51 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08fichier de test d'inductifs pour minicoqfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@50 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 19:15:41 +0000