matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 98f3202) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 20 Oct 2011 16:16:24 +0000 (16:16 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 20 Oct 2011 16:16:24 +0000 (16:16 +0000)
commit	dab25d81b789fb8430ef76f2dd77970c2c410048
tree	02660da522e5679b792187e7c970f3fae9c648df	tree \| snapshot
parent	98f3202363b4baf3bf8e13af10f086ca1cf848be	commit \| diff

1. ported to camlp5
2. added a boolean to qed to governe indexing
the syntax for disabling indexing is "qed-"

Unnamed repository; edit this file 'description' to name the repository.