]> matita.cs.unibo.it Git - helm.git/commit
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
tree267b3229ea6fef91991606eed832a01f167e4932
parent1716dfe9afab861ad742a434e83e3bcad259dec4
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
matita/matitaEngine.mli