]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bd6b7d) | patch
- hExtlib: new function "list_assoc_all"
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 May 2009 17:23:49 +0000 (17:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 May 2009 17:23:49 +0000 (17:23 +0000)
commitd3548c16f481b14ce94e64c790bc767c59590050
treeba018eee05e798abd6327cbca9b827038d0f4ccatree | snapshot
parent1bd6b7d2637d765f11ddbd1218d63474e9d0c63bcommit | diff
- hExtlib: new function "list_assoc_all"
- procedural: new flag "nodefaults" to turn off "default" based tactics. The `Variant flavour is now activated
- grafiteAst: now inline accepts a list of flags that can be easily extended
current flags are: procedural, nodefaults, depth=n, prefix="string" (untested),
theorem, definition, etc.
- transcript: support for explicitly provided inline flags
22 files changed:
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/acic2Procedural.mli diff | blob | history
helm/software/components/acic_procedural/procedural2.ml diff | blob | history
helm/software/components/acic_procedural/procedural2.mli diff | blob | history
helm/software/components/binaries/transcript/.depend diff | blob | history
helm/software/components/binaries/transcript/.depend.opt diff | blob | history
helm/software/components/binaries/transcript/engine.ml diff | blob | history
helm/software/components/binaries/transcript/gallina8Parser.mly diff | blob | history
helm/software/components/binaries/transcript/grafite.ml diff | blob | history
helm/software/components/binaries/transcript/grafiteParser.mly diff | blob | history
helm/software/components/binaries/transcript/types.ml diff | blob | history
helm/software/components/extlib/hExtlib.ml diff | blob | history
helm/software/components/extlib/hExtlib.mli diff | blob | history
helm/software/components/grafite/grafiteAst.ml diff | blob | history
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
helm/software/matita/applyTransformation.mli diff | blob | history
helm/software/matita/contribs/procedural/library/library.conf.xml diff | blob | history
helm/software/matita/matita.ml diff | blob | history
helm/software/matita/matitaScript.ml diff | blob | history
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.