]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eac2033) | patch
The theory index.theory, if present, is shown at the beginning of the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 30 May 2004 22:10:00 +0000 (22:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 30 May 2004 22:10:00 +0000 (22:10 +0000)
commit3c50ba458692e3dd7a00ce595d53d647227d9848
treec7fd931aaa8d8df8f098d4f00e7e1ea0890bebdetree | snapshot
parenteac2033b1cfbce614010f123faf8544da65d8319commit | diff
The theory index.theory, if present, is shown at the beginning of the
listing.
helm/on-line/xslt/ls2theory.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.