]> matita.cs.unibo.it Git - helm.git/commit
new semantics of the -g option completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 28 Jun 2015 18:47:24 +0000 (18:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 28 Jun 2015 18:47:24 +0000 (18:47 +0000)
commita0c8e5f59273c09542a1b8184dd1577d8f4240d7
tree09f00e32db22753cfffa7d9368d6866ee419dae3
parent2cf2e883f91164ce614bdc86b5c5e2419b98f68d
new semantics of the -g option completed
helm/software/helena/Makefile
helm/software/helena/src/basic_rg/brgLP.ml
helm/software/helena/src/basic_rg/brgReduction.ml
helm/software/helena/src/toplevel/top.ml
helm/software/helena/src/xml/xmlCrg.ml
helm/software/helena/src/xml/xmlLibrary.ml
helm/software/helena/src/xml/xmlLibrary.mli