]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb5c964) | patch
* parsing errors in tests were not detected and the rest of the file was
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Jun 2005 17:05:53 +0000 (17:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Jun 2005 17:05:53 +0000 (17:05 +0000)
commit6c78b5575caa3257463c0a2654db3fb826de11ee
tree83ee05680c5dc4fe58da7d8f59419083e4b69082tree | snapshot
parentfb5c964ba2d0fbea5988efec610ba49fca84376dcommit | diff
* parsing errors in tests were not detected and the rest of the file was
  ignored!!!! Tests fixed
* a few interactive tests moved to tests/interactive to avoid regression
  testing over them (for now...)
helm/matita/tests/apply.ma diff | blob | history
helm/matita/tests/comments.ma diff | blob | history
helm/matita/tests/fguidi.ma diff | blob | history
helm/matita/tests/interactive/test5.ma [new file with mode: 0644] blob
helm/matita/tests/interactive/test6.ma [new file with mode: 0644] blob
helm/matita/tests/interactive/test7.ma [new file with mode: 0644] blob
helm/matita/tests/test4.ma diff | blob | history
helm/matita/tests/test5.ma [deleted file] blob | history
helm/matita/tests/test6.ma [deleted file] blob | history
helm/matita/tests/test7.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.