]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec41f8f) | patch
- write_tac fixed (the list of new goals was empty)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Oct 2002 14:21:06 +0000 (14:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Oct 2002 14:21:06 +0000 (14:21 +0000)
commitc14d84b2a11e8505fc9b0b8a1db4bb41c90de1e1
treebbf2a074d83fb0070cb1ff6874b81d2349fca195tree | snapshot
parentec41f8fbfbdf497d5f7c42db9ddf31ea04e1b347commit | diff
- write_tac fixed (the list of new goals was empty)
- some new bugs introduced here and there ;-)
helm/gTopLevel/fourierR.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.