]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/matitatop.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe82806) | patch
This commit fixes matitatop that was no longer working without arguments.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 14:36:47 +0000 (14:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 14:36:47 +0000 (14:36 +0000)
commit6e7fd1727eafb8280d2a01c05eddf49d19db2aaa
treed8e496803a57ef5546eb1c7f463155eb70df3e92tree | snapshot
parentfe8280699be02d612da06ec67c7b79bb8b0a2bb6commit | diff
This commit fixes matitatop that was no longer working without arguments.
It also make matitatop clean everything without exiting, unless the user
types ^D in the ocaml toploop :-(
helm/matita/.ocamlinit diff | blob | history
helm/matita/matitacLib.ml diff | blob | history
helm/matita/matitacLib.mli diff | blob | history
helm/matita/matitatop.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.