]> matita.cs.unibo.it Git - helm.git/commit
we removed old HAL exportation (replaced by XML exportation)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Aug 2010 19:24:59 +0000 (19:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Aug 2010 19:24:59 +0000 (19:24 +0000)
commit673c78501a9e71ac5f897d2ba78f3591de8db876
tree1bce9f9f7ae2ac6c442465a507970351c136393e
parent39b42ed90bc74c8b6293842f1ac4aca60fc0c37e
we removed old HAL exportation (replaced by XML exportation)
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/src/modules.ml
helm/software/lambda-delta/src/toplevel/Make
helm/software/lambda-delta/src/toplevel/metaLibrary.ml [deleted file]
helm/software/lambda-delta/src/toplevel/metaLibrary.mli [deleted file]
helm/software/lambda-delta/src/toplevel/metaOutput.ml
helm/software/lambda-delta/src/toplevel/metaOutput.mli
helm/software/lambda-delta/src/toplevel/top.ml