]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dbc6d6) | patch
DOOMSDAY 1.0:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2007 15:06:22 +0000 (15:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2007 15:06:22 +0000 (15:06 +0000)
commit621e13b0fb2be2367e80f71555732907da06ee31
treeeb8aaed200aae6e32839f0ce10d5614ec146d930tree | snapshot
parent7dbc6d6fe71f6967f5ad31528a629dc89e6d8160commit | diff
DOOMSDAY 1.0:
 this is the commit that (partially) allows Matita to understand its own
 output. I.e. the natural language generated is now the declarative language.
 This is probably still highly bugged in most cases.
helm/software/components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.