]> matita.cs.unibo.it Git - helm.git/commit
Required by the new xslt_index.txt implementation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 15:05:45 +0000 (15:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 15:05:45 +0000 (15:05 +0000)
commitc956ab9b5ef4238aed351acc29511fa9c6e60a40
treeb1d7cf088bf2b5e5c8456319f97003465cc70c4c
parent228e3b7670f6f63e864f0f71659fdc74b6b3e111
Required by the new xslt_index.txt implementation.
helm/on-line/xslt/xslt_index.txt [new file with mode: 0644]