]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35667e2) | patch
Test improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 12:54:26 +0000 (12:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 12:54:26 +0000 (12:54 +0000)
commit9441a320a540bd35d0146d4a152c18aaf8f06499
tree54fc311e6b930da4ca7bfa2893f112c278e93a2ftree | snapshot
parent35667e24851618733d8ef7576a6550f6e2f0b26bcommit | diff
Test improved.
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.