]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c36883) | patch
Lexical conventions documented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Jun 2006 14:33:16 +0000 (14:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Jun 2006 14:33:16 +0000 (14:33 +0000)
commit5fbdf01e49ca301b3dbf1ddb3c4e358d8189e45c
treeea1e6073d96886eb618bb05cd79e7d1466813c16tree | snapshot
parent4c3688332df4e8a3c690b70923e197b5d7113b5bcommit | diff
Lexical conventions documented.
matita/help/C/matita.xml diff | blob | history
matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.