blob: df7b65dd8bc49a03c07ea2c0c3949d2f66c037fd (
plain)
1
2
3
4
5
|
The V5.10 archive has been created with cvs in February 1995 by
Jean-Christophe Filliâtre. It was moved to archive V6 in March 1996.
At this occasion, the contrib directory (user-contributions) were
moved to a separate directory and some theories (like ALGEBRA) moved
to the user-contributions directory too.
|
