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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 29 Jun 2005 13:52:42 +0000 (13:52 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 29 Jun 2005 13:52:42 +0000 (13:52 +0000)
commit	d9394782ed9580f3565eb9b4682d8348aae6349e
tree	f88d17ff3d69f798a01dc9fcb3eeb4c04d4ad50c	tree \| snapshot
parent	b47af4383d51dae275964d464e6a8faf2a5a3f51	commit \| diff

now baseuri is needed in each file (and its redefinition is forbidden)
added exception prettyprinter

29 files changed:

helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/matitaEngine.ml		diff \| blob \| history
helm/matita/matitaGtkMisc.ml		diff \| blob \| history
helm/matita/matitaGui.ml		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaTypes.ml		diff \| blob \| history
helm/matita/matitacLib.ml		diff \| blob \| history
helm/matita/tests/apply.ma		diff \| blob \| history
helm/matita/tests/auto.ma		diff \| blob \| history
helm/matita/tests/baseuri.ma	[new file with mode: 0644]	blob
helm/matita/tests/coercions.ma		diff \| blob \| history
helm/matita/tests/comments.ma		diff \| blob \| history
helm/matita/tests/fguidi.ma		diff \| blob \| history
helm/matita/tests/fix_betareduction.ma		diff \| blob \| history
helm/matita/tests/interactive/drop.ma		diff \| blob \| history
helm/matita/tests/interactive/grafite.ma		diff \| blob \| history
helm/matita/tests/inversion.ma		diff \| blob \| history
helm/matita/tests/letrec.ma		diff \| blob \| history
helm/matita/tests/match.ma		diff \| blob \| history
helm/matita/tests/match_inference.ma		diff \| blob \| history
helm/matita/tests/mysql_escaping.ma		diff \| blob \| history
helm/matita/tests/record.ma		diff \| blob \| history
helm/matita/tests/rewrite.ma		diff \| blob \| history
helm/matita/tests/simpl.ma		diff \| blob \| history
helm/matita/tests/test1.ma	[deleted file]	blob \| history
helm/matita/tests/test2.ma		diff \| blob \| history
helm/matita/tests/test3.ma		diff \| blob \| history
helm/matita/tests/test4.ma		diff \| blob \| history

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