]> matita.cs.unibo.it Git - helm.git/commit
improved interface for brgEnvironment
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 Dec 2008 19:24:54 +0000 (19:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 Dec 2008 19:24:54 +0000 (19:24 +0000)
commit25fba20748a951f7061188cc5fabece8f5ac97b9
tree0d4517a5943ea1bad651c9459c6599337f4e503e
parentc45c77de154323feaf5bf6aee98c86b95361b9ae
improved interface for brgEnvironment
helm/software/lambda-delta/basic_rg/brg.ml
helm/software/lambda-delta/basic_rg/brgEnvironment.ml
helm/software/lambda-delta/basic_rg/brgEnvironment.mli
helm/software/lambda-delta/basic_rg/brgOutput.ml
helm/software/lambda-delta/toplevel/metaBrg.ml