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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 9adc60c) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 21 Sep 2005 14:40:59 +0000 (14:40 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 21 Sep 2005 14:40:59 +0000 (14:40 +0000)
commit	33b362600b2756274258f06f26a08c918ec28062
tree	7cd98c674d512c51f24d81f2b46ad1a3013ef365	tree \| snapshot
parent	9adc60caf3223c659d8b64228e90c25cc8d76530	commit \| diff

ported to the new parser interface (Ulexing.lexbuf instead of char Stream.t)

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