]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08fddf5) | patch
Initial version of the Helena Checker
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Jun 2008 11:47:41 +0000 (11:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Jun 2008 11:47:41 +0000 (11:47 +0000)
commit9b4286fdc2d88b0d8018e5718ef055804f5cf7ac
tree3b2ee03f6dc96a13731a7e63c086ae0739b9f63ftree | snapshot
parent08fddf59ad83f95ece083c6434bbffee6d0d1ba8commit | diff
Initial version of the Helena Checker
- For now just parses an automath book (automath grammar by F. Wiedijg)
  the grundlagen is provided as (the only existing) example
- In the future will convert an automath book to a lambda-delta environment
  several lambda-delta extensions will be supported
14 files changed:
helm/software/lambda-delta/.depend.opt [new file with mode: 0644] blob
helm/software/lambda-delta/Makefile [new file with mode: 0644] blob
helm/software/lambda-delta/Makefile.common [new file with mode: 0644] blob
helm/software/lambda-delta/README [new file with mode: 0644] blob
helm/software/lambda-delta/automath/Make [new file with mode: 0644] blob
helm/software/lambda-delta/automath/aut.ml [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autHelpers.ml [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autHelpers.mli [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autLexer.mll [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autParser.mly [new file with mode: 0644] blob
helm/software/lambda-delta/automath/grundlagen.aut [new file with mode: 0644] blob
helm/software/lambda-delta/automath/grundlagen_pn.aut [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/Make [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/top.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.