]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 928f3d1) | patch
1. buf fixed in eval_from_stream when first_statemente_only=true:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 20 Jan 2007 15:29:51 +0000 (15:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 20 Jan 2007 15:29:51 +0000 (15:29 +0000)
commit3cdf3d1d9e2ee3c12931c2af5c2daf1b0e73a310
treed0fc5e9ece7a7380e135cd4e5c3fdeb866ea6448tree | snapshot
parent928f3d1e531bd8125b110597717b44d83d7f25eacommit | diff
1. buf fixed in eval_from_stream when first_statemente_only=true:
   the last computed states were lost
2. added a new watcher function to eval_from_stream.
   The function is called after the execution of each command.
helm/software/matita/matitaEngine.ml diff | blob | history
helm/software/matita/matitaEngine.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.