]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1716dfe) | 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)
commit876455a152c9c4d6b1afcdfbee392210b2ec6b90
tree267b3229ea6fef91991606eed832a01f167e4932tree | snapshot
parent1716dfe9afab861ad742a434e83e3bcad259dec4commit | 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.
matita/matitaEngine.ml diff | blob | history
matita/matitaEngine.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.