matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_commands.xml

2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw
2007-02-08	Claudio Sacerdoti...	Manual for the "default" command updated.	blob \| commitdiff \| raw \| diff to current
2006-07-12	Stefano Zacchiroli	fixed the number of columns in the clusters table	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	More commands documented.	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	More commands documented.	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	More commands documented.	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	First skeleton of documentation for "other commands".	blob \| commitdiff \| raw \| diff to current
2006-06-30	Claudio Sacerdoti...	Documentation of tinycals started.	blob \| commitdiff \| raw \| diff to current
2006-06-07	Stefano Zacchiroli	Attempt to make our markup respect the docbook specific...	blob \| commitdiff \| raw \| diff to current
2006-05-26	Claudio Sacerdoti...	New documentation.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.