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

author	no author <no.author@nowhere.it>
	Thu, 17 Oct 2002 17:55:17 +0000 (17:55 +0000)
committer	no author <no.author@nowhere.it>
	Thu, 17 Oct 2002 17:55:17 +0000 (17:55 +0000)
commit	434ea590617bba6fce52604b6e61d19f54389f52
tree	84ec9b99e8419a3126ff46346780894f45b2e6e9	tree \| snapshot
parent	9a73e22935eb65da9e23ece23ad152d79629c661	commit \| diff

This commit was manufactured by cvs2svn to create tag 'mathql'.

16 files changed:

helm/gTopLevel/gTopLevel.ml	[deleted file]	blob \| history
helm/gTopLevel/mQueryGenerator.ml	[deleted file]	blob \| history
helm/gTopLevel/mQueryGenerator.mli	[deleted file]	blob \| history
helm/gTopLevel/topLevel/.depend	[deleted file]	blob \| history
helm/gTopLevel/topLevel/Makefile	[deleted file]	blob \| history
helm/gTopLevel/topLevel/esempi.cic	[deleted file]	blob \| history
helm/gTopLevel/topLevel/topLevel.ml	[deleted file]	blob \| history
helm/ocaml/mathql/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql/.depend	[deleted file]	blob \| history
helm/ocaml/mathql/Makefile	[deleted file]	blob \| history
helm/ocaml/mathql/mQueryHTML.ml	[deleted file]	blob \| history
helm/ocaml/mathql/mQueryTLexer.mll	[deleted file]	blob \| history
helm/ocaml/mathql/mQueryTParser.mly	[deleted file]	blob \| history
helm/ocaml/mathql/mQueryUtil.ml	[deleted file]	blob \| history
helm/ocaml/mathql/mQueryUtil.mli	[deleted file]	blob \| history
helm/ocaml/mathql/mathQL.ml	[deleted file]	blob \| history

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