]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 761967a) | patch
lambda-delta/toplevel: improved transformation from automath (20 secs gained)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 30 Nov 2008 18:23:11 +0000 (18:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 30 Nov 2008 18:23:11 +0000 (18:23 +0000)
commitf870943aedc6ef6f51be134ed3e82bbc03b3eea1
treec7b3bfc4898ba91e42e3219fd68c85ca44e272f8tree | snapshot
parent761967afe1bd46b21a6bd69232bf09e1658b0734commit | diff
lambda-delta/toplevel: improved transformation from automath (20 secs gained)
                       bug fix in the default arguments specification
       reverse indexes are now supported
transcript: unused parser productions removed
helm/software/components/binaries/transcript/Makefile diff | blob | history
helm/software/components/binaries/transcript/v8Parser.mly diff | blob | history
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/toplevel/meta.ml diff | blob | history
helm/software/lambda-delta/toplevel/metaAut.ml diff | blob | history
helm/software/lambda-delta/toplevel/metaOutput.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.