]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9cf537f) | patch
loadDocumentFrom* and saveDocument interface changed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Mar 2002 12:19:13 +0000 (12:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Mar 2002 12:19:13 +0000 (12:19 +0000)
commit5c0956cb044202bc8263b7428da298cdc1d2dd59
treeefd2bd0aa8921131e1fe822664f91a2ae810a7ddtree | snapshot
parent9cf537fd2b2e2be25a2614dc9bfc6dd89dda0b51commit | diff
loadDocumentFrom* and saveDocument interface changed
helm/DEVEL/lablgtkmathview/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.