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: 9f62475) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 20 Jan 2005 10:33:50 +0000 (10:33 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 20 Jan 2005 10:33:50 +0000 (10:33 +0000)
commit	d0991ea0c7c83c100b2d223644cb2f11a8554fa1
tree	095c7c5d31d22109ce6dd8f8cb6a95f11c22ea21	tree \| snapshot
parent	9f62475df3ed7aa7545321d53843cf80281645d7	commit \| diff

snapshot, notably:
- added hyperlink handling in check and proof window
- start implementation of cic browser

13 files changed:

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