aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc/transition-V5.10-V6
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.