]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d35b40) | patch
* iff notation added (new csymbol)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Nov 2002 17:01:07 +0000 (17:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Nov 2002 17:01:07 +0000 (17:01 +0000)
commit4f6616b07fb0de97199db9349b2dc01ee0dc33f3
treef632c31e65934b90b9621d4379d65532a94a438etree | snapshot
parent9d35b4005007408a49a76864302f03db8aa7789acommit | diff
* iff notation added (new csymbol)
* New notation for lists added (list.xml)
helm/meta_style/.cvsignore diff | blob | history
helm/meta_style/Makefile diff | blob | history
helm/meta_style/basic.xml diff | blob | history
helm/meta_style/list.xml [new file with mode: 0644] blob
helm/meta_style/xslt_index.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.