]> matita.cs.unibo.it Git - helm.git/commit
- xml exportation activated for the brg kernel
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 Aug 2009 20:36:49 +0000 (20:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 Aug 2009 20:36:49 +0000 (20:36 +0000)
commit5780dca4cfcee57e680213186cf3eaae402b6c88
tree7780214aefc12e07cd7bf1a62a1b4283d935cbf2
parent3532e6714b7d0ee10b692e41c356866cfab5c646
- xml exportation activated for the brg kernel
- improved Makefiles
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/Makefile.common
helm/software/lambda-delta/basic_rg/brgOutput.ml
helm/software/lambda-delta/basic_rg/brgOutput.mli
helm/software/lambda-delta/common/Make
helm/software/lambda-delta/common/commonLibrary.ml [new file with mode: 0644]
helm/software/lambda-delta/common/commonLibrary.mli [new file with mode: 0644]
helm/software/lambda-delta/toplevel/top.ml