|
| From: | Nicolas LE COZ |
| Subject: | [Vampire-devel] [Vampire] test et validation |
| Date: | Tue, 8 Jul 2003 00:59:54 +0200 (CEST) |
Voici comment valider et tester vampire (j'ai pas encore fini dc il y a encore des ajustements à faire) je suis peut être un peu optimiste avec ce que j'ai proposé......
dc n'hesite pas à rajouter des choses
PS : voici qlq smiley wanadoo
je peux aussi ecrie des equation x2 + 1 =
je peux aussi barrer du texte BBBIIIGGGGGEUUUU ENNORMEEEU
validation.tex
Description: Text document
| [Prev in Thread] | Current Thread | [Next in Thread] |