]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a7e910) | patch
- added code for Coercion command, Print Env command.
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Jan 2005 09:26:01 +0000 (09:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Jan 2005 09:26:01 +0000 (09:26 +0000)
commit87ff483dd776e580fa97fca0e3bf888cc8a8d540
treee4587b55349423ec70a869fdc816aaf692077147tree | snapshot
parent5a7e910e609fe5bf2a5fd3b70c73f6bb55f4523ecommit | diff
- added code for Coercion command, Print Env command.
- better error report in matitac
helm/matita/matitaInterpreter.ml diff | blob | history
helm/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.