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: 8d1904c) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 24 Jul 2006 09:32:54 +0000 (09:32 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 24 Jul 2006 09:32:54 +0000 (09:32 +0000)
commit	0a50912f2577243a1f9e4068b02877b8e61181c9
tree	95a1879e6004528f1594054972c58a6b4170a37b	tree \| snapshot
parent	8d1904cec529a1f22b3ac132dc0f3fb9289735df	commit \| diff

more work on matitaprover (no more XML and buris are created).
now matita can start on a .p file.

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