aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Fixpoint.out
Commit message (Expand)AuthorAge
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Oops... the trunk behaviour is differentGravatar glondu2008-07-29
* Update test-suite outputGravatar glondu2008-07-29
* Petites corrections vis à vis des commits 10860, 10859, 10850Gravatar herbelin2008-04-28
* Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuveGravatar herbelin2008-04-25
* Affichage de 'O' (lettre) comme '0' (chiffre)Gravatar herbelin2006-01-02
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Test d'affichage d'un Fix donné avec /nGravatar herbelin2004-12-09