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: 2d1cecb) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 18 Jul 2005 16:27:25 +0000 (16:27 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 18 Jul 2005 16:27:25 +0000 (16:27 +0000)
commit	cd602bc57c4ceba6188b4cac0dbf5dad8f5df7b6
tree	12c630848e2e9b37970357f517f90d609d048699	tree \| snapshot
parent	2d1cecb1593f5d4f4f1bb697f983ac8db99c2987	commit \| diff

- synced notation pretty printing with parsing syntax
- added pretty printing of notation patterns via `Raw attribute

12 files changed:

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