aboutsummaryrefslogtreecommitdiff
path: root/toplevel
AgeCommit message (Collapse)Author
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-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-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-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-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-07instanciation des opérateurs sur la bonne signature (celle defilliatr
définition, puisqu'elle ne peut pas changer, mais qu'elle peut être un préfixe) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@45 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-07 - minicoq : definition inductifs; syntaxe a->bfilliatr
- kernel : bug Typing/one_inductive (il fallait chercher l'arite typée dans l'environnement avec lookup_rel et non lookup_var) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@43 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-07mise en place commandes minicoqfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@42 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-07(debut) de grammaire minicoqfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@41 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-06un mini toplevel pour tester le noyaufilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@38 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-07 09:48:03 +0000