]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bf0481) | patch
- transcript: we have now two styles of mma's from grafite:
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 22 Apr 2009 20:47:20 +0000 (20:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 22 Apr 2009 20:47:20 +0000 (20:47 +0000)
commit0137a346eaaf9ae7a0b23c7a3b4c6628073b7dfb
tree45a618d36900e612cf6eb2c7b8b23d9c8e013749tree | snapshot
parent0bf0481ecce133b6100dbe0a1fb2da7b0ed36e04commit | diff
- transcript: we have now two styles of mma's from grafite:
  1) each includes its source (minimum choice)
  2) each includes the theory file of the source devel (maximim choice)
- matitadep: creation of the theory file is now optional and defaults to no
- procedural/library: we use style 1) above so library/theory is not needed
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/types.ml diff | blob | history
helm/software/matita/contribs/procedural/library/library.conf.xml diff | blob | history
helm/software/matita/contribs/procedural/library/preamble.ma [deleted file] blob | history
helm/software/matita/library/depends diff | blob | history
helm/software/matita/library/theory.ma [deleted file] blob | history
helm/software/matita/matitadep.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.