]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c6b5e5) | patch
eval_from_stream is now tail recursive!
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Apr 2007 11:25:34 +0000 (11:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Apr 2007 11:25:34 +0000 (11:25 +0000)
commite1fb5311d4ea71e7cdf7d042b7afe30d0ec6edd8
treecc7f5497424a10fe7651a33318eba9a5f8eec10ftree | snapshot
parent1c6b5e56507949b776883066d6be03ba8e3dd7cacommit | diff
eval_from_stream is now tail recursive!
matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.