]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51380ce) | patch
matitatop.ml is now a simple invocation of Toploop.loop and .ocamlinit is
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jun 2005 17:30:58 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jun 2005 17:30:58 +0000 (17:30 +0000)
commitf14850541c1345e7ca745de6baf89c4639f2b824
tree09ac10ea842f340acdf5bafa124d41e120aac8eftree | snapshot
parent51380ce8eb393283476497f498d58546bceb5010commit | diff
matitatop.ml is now a simple invocation of Toploop.loop and .ocamlinit is
responsible to call MatitacLib.go or MatitacLib.main.

 Cons: .ocamlinit is more dirty
 Pros: it is possible to trace something even before doing a drop!
helm/matita/.ocamlinit diff | blob | history
helm/matita/matitatop.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.