]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5ec5f0) | patch
added script template
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jul 2005 12:45:57 +0000 (12:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jul 2005 12:45:57 +0000 (12:45 +0000)
commitb60666721441e676081a6e3b2f436b23dbcdae0f
tree4e18c999047db6a94283d8baa74aa35da64a8027tree | snapshot
parentf5ec5f0dd0b2fb5aa8ee8e2c0c734bc2c1a19955commit | diff
added script template
added test for absurd
helm/matita/buildTimeConf.ml.in diff | blob | history
helm/matita/matita.ma.templ [new file with mode: 0644] blob
helm/matita/matitaGui.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitaScript.mli diff | blob | history
helm/matita/tests/absurd.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.