]> matita.cs.unibo.it Git - helm.git/commit
transcript updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 15 Nov 2006 19:47:41 +0000 (19:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 15 Nov 2006 19:47:41 +0000 (19:47 +0000)
commit438a29376390222b94c1fe9772917c3aad50d42e
treed1f803da6be5c5ba73a54796dd57b683b48c17b3
parentfb76949a237aa07eeaea3a3ca0ded5bdd090450a
transcript updated
15 files changed:
helm/software/components/METAS/meta.helm-tactics.src
helm/software/components/binaries/transcript/CoRN.conf.xml
helm/software/components/binaries/transcript/Makefile
helm/software/components/binaries/transcript/engine.ml
helm/software/components/binaries/transcript/grafite.ml
helm/software/components/binaries/transcript/grafite.mli
helm/software/components/binaries/transcript/types.ml
helm/software/components/binaries/transcript/v8Lexer.mll
helm/software/components/binaries/transcript/v8Parser.mly
helm/software/components/extlib/hExtlib.ml
helm/software/components/extlib/hExtlib.mli
helm/software/components/tactics/equalityTactics.ml
helm/software/components/tactics/fwdSimplTactic.ml
helm/software/components/tactics/proofEngineHelpers.ml
helm/software/components/tactics/proofEngineHelpers.mli