]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f768cb9) | 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)
commit6dcc9b0709d999e742721da8a9f5070d8faa6835
treeaddf4bd8f83a1dc3c51d58c7c735aa5746a5f5f8tree | snapshot
parentf768cb971f7a9dcdb130c1ce29be58eb4d083d95commit | 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.
components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.