VERSION
author Gustavo J. A. M. Carneiro <gjc@inescporto.pt>
Wed, 10 Jun 2009 15:15:39 +0100
changeset 4007 382bd8c05eaf
parent 3748 a60aeddab0fe
permissions -rw-r--r--
Print some values for the paper
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3748
a60aeddab0fe don't change VERSION
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 3746
diff changeset
     1
3-dev