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: 14cf5df) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 14 Apr 2004 17:33:12 +0000 (17:33 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 14 Apr 2004 17:33:12 +0000 (17:33 +0000)
commit	552dbd63f202c8876605b62621c3e727d71e3963
tree	0160b8e127c2dca4326a3f0be11ab32f913a219f	tree \| snapshot
parent	14cf5df8a7a8faaf8815c16b28a57b2baa791af5	commit \| diff

updating all sections

17 files changed:

helm/mathql/doc/fguidi-defs.sty	[deleted file]	blob \| history
helm/mathql/doc/llncs.cls	[new file with mode: 0644]	blob
helm/mathql/doc/mathql.tex		diff \| blob \| history
helm/mathql/doc/mathql_bib.tex		diff \| blob \| history
helm/mathql/doc/mathql_introduction.tex		diff \| blob \| history
helm/mathql/doc/mathql_introduction_avsets.tex		diff \| blob \| history
helm/mathql/doc/mathql_introduction_basic.tex	[new file with mode: 0644]	blob
helm/mathql/doc/mathql_introduction_core.tex		diff \| blob \| history
helm/mathql/doc/mathql_introduction_property.tex		diff \| blob \| history
helm/mathql/doc/mathql_introduction_textual.tex		diff \| blob \| history
helm/mathql/doc/mathql_macros.sty		diff \| blob \| history
helm/mathql/doc/mathql_operational.tex		diff \| blob \| history
helm/mathql/doc/mathql_operational_background.tex		diff \| blob \| history
helm/mathql/doc/mathql_operational_basic.tex	[new file with mode: 0644]	blob
helm/mathql/doc/mathql_operational_core.tex		diff \| blob \| history
helm/mathql/doc/mathql_overview.tex		diff \| blob \| history
helm/mathql/doc/mathql_tests.tex	[new file with mode: 0644]	blob

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