]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/menu.xml
snapshot, notably:
[helm.git] / helm / mowgli / home / xml / menu.xml
2002-03-21 Luca Padovaniframes/no frame switch changed
2002-03-21 Claudio Sacerdoti... Links between the versions with and without frames.
2002-03-11 Irene SchenaModified Files:
2002-03-11 Claudio Sacerdoti... Link to ActiveMath added.
2002-03-06 Irene SchenaModified Files:
2002-02-26 Claudio Sacerdoti... templates/menu.html moved to xml/menu.xml