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

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

author	no author <no.author@nowhere.it>
	Fri, 1 Dec 2000 20:00:19 +0000 (20:00 +0000)
committer	no author <no.author@nowhere.it>
	Fri, 1 Dec 2000 20:00:19 +0000 (20:00 +0000)
commit	a59da263c7903b26597d5debcf2da1e0a4ccd686
tree	1bb01809465e1b576d9f6c536a9f1575ab00ff3e	tree \| snapshot
parent	4e9a9c5ddfe635b338c2abf30f1e918d861e104d	commit \| diff

This commit was manufactured by cvs2svn to create tag 'V6-2'.

110 files changed:

helm/dtd/annotations.dtd	[new file with mode: 0644]	blob
helm/dtd/cic.dtd	[new file with mode: 0644]	blob
helm/dtd/cicobject.dtd	[new file with mode: 0644]	blob
helm/dtd/cictypes.dtd	[new file with mode: 0644]	blob
helm/dtd/isoamsa.ent	[new file with mode: 0644]	blob
helm/dtd/isoamsb.ent	[new file with mode: 0644]	blob
helm/dtd/isoamsc.ent	[new file with mode: 0644]	blob
helm/dtd/isoamsn.ent	[new file with mode: 0644]	blob
helm/dtd/isoamso.ent	[new file with mode: 0644]	blob
helm/dtd/isoamsr.ent	[new file with mode: 0644]	blob
helm/dtd/isobox.ent	[new file with mode: 0644]	blob
helm/dtd/isocyr1.ent	[new file with mode: 0644]	blob
helm/dtd/isocyr2.ent	[new file with mode: 0644]	blob
helm/dtd/isodia.ent	[new file with mode: 0644]	blob
helm/dtd/isogrk3.ent	[new file with mode: 0644]	blob
helm/dtd/isolat1.ent	[new file with mode: 0644]	blob
helm/dtd/isolat2.ent	[new file with mode: 0644]	blob
helm/dtd/isomfrk.ent	[new file with mode: 0644]	blob
helm/dtd/isomopf.ent	[new file with mode: 0644]	blob
helm/dtd/isomscr.ent	[new file with mode: 0644]	blob
helm/dtd/isonum.ent	[new file with mode: 0644]	blob
helm/dtd/isopub.ent	[new file with mode: 0644]	blob
helm/dtd/isotech.ent	[new file with mode: 0644]	blob
helm/dtd/mathml2-qname-1.mod	[new file with mode: 0644]	blob
helm/dtd/mathml2.dtd	[new file with mode: 0644]	blob
helm/dtd/maththeory.dtd	[new file with mode: 0644]	blob
helm/dtd/mmlalias.ent	[new file with mode: 0644]	blob
helm/dtd/mmlextra.ent	[new file with mode: 0644]	blob
helm/dtd/provastruct.theory.xml	[new file with mode: 0644]	blob
helm/dtd/theoryobject.dtd	[new file with mode: 0644]	blob
helm/interface/.cvsignore	[new file with mode: 0644]	blob
helm/interface/.depend		diff \| blob \| history
helm/interface/ISTRUZIONI	[deleted file]	blob \| history
helm/interface/Makefile		diff \| blob \| history
helm/interface/NON_VA	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE_TCSH	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE_TCSH_D01	[deleted file]	blob \| history
helm/interface/cadet		diff \| blob \| history
helm/interface/cicXPath.prima_degli_identificatori.ml	[deleted file]	blob \| history
helm/interface/configuration.ml		diff \| blob \| history
helm/interface/getter.ml		diff \| blob \| history
helm/interface/gmon.out	[deleted file]	blob \| history
helm/interface/http_getter/http_getter.pl	[deleted file]	blob \| history
helm/interface/http_getter/http_getter.pl2	[deleted file]	blob \| history
helm/interface/isterix		diff \| blob \| history
helm/interface/javacore15005.txt	[deleted file]	blob \| history
helm/interface/javacore15021.txt	[deleted file]	blob \| history
helm/interface/latinize.pl	[deleted file]	blob \| history
helm/interface/mkindex.sh	[deleted file]	blob \| history
helm/interface/mml.dtd	[deleted file]	blob \| history
helm/interface/mml.ml	[deleted file]	blob \| history
helm/interface/mmlinterface.ml		diff \| blob \| history
helm/interface/mmlinterface.opt.saved	[deleted file]	blob \| history
helm/interface/pxpUriResolver.ml		diff \| blob \| history
helm/interface/servers.txt	[deleted file]	blob \| history
helm/interface/servers.txt.universita	[deleted file]	blob \| history
helm/interface/t1.config	[new file with mode: 0644]	blob
helm/interface/uris_of_filenames.pl		diff \| blob \| history
helm/interface/urls_of_uris.db	[deleted file]	blob \| history
helm/interface/xaland-cpp/xaland.cpp	[deleted file]	blob \| history
helm/interface/xaland-java/rompi.class	[deleted file]	blob \| history
helm/interface/xaland-java/rompi.java	[deleted file]	blob \| history
helm/interface/xaland-java/sped.class	[deleted file]	blob \| history
helm/interface/xaland-java/sped.java	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.class	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.java	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.java.prima_del_loro_baco	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset	[deleted file]	blob \| history
helm/interface/xaland.class	[deleted file]	blob \| history
helm/style/annotatedcont.xsl	[new file with mode: 0644]	blob
helm/style/annotatedpres.xsl	[new file with mode: 0644]	blob
helm/style/basic.xsl	[new file with mode: 0644]	blob
helm/style/content.xsl	[new file with mode: 0644]	blob
helm/style/content_to_html.xsl	[new file with mode: 0644]	blob
helm/style/html_init.xsl	[new file with mode: 0644]	blob
helm/style/html_reals.xsl	[new file with mode: 0644]	blob
helm/style/html_set.xsl	[new file with mode: 0644]	blob
helm/style/mml2mmlv1_0.xsl	[new file with mode: 0644]	blob
helm/style/mmlextension.xsl	[new file with mode: 0644]	blob
helm/style/objcontent.xsl	[new file with mode: 0644]	blob
helm/style/params.xsl	[new file with mode: 0644]	blob
helm/style/proofs.xsl	[new file with mode: 0644]	blob
helm/style/reals.xsl	[new file with mode: 0644]	blob
helm/style/ricerca.xsl	[new file with mode: 0644]	blob
helm/style/rootcontent.xsl	[new file with mode: 0644]	blob
helm/style/roottheory.xsl	[new file with mode: 0644]	blob
helm/style/set.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/basic.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/content.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/content_to_html.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/html_init.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/html_reals.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/html_set.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0_original.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/mmlextension.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/params.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/reals.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/ricerca.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/roottheory.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/set.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/theory_content.xsl	[new file with mode: 0644]	blob
helm/style/style_prima_del_linguaggio_naturale/theory_pres.xsl	[new file with mode: 0644]	blob
helm/style/theory_content.xsl	[new file with mode: 0644]	blob
helm/style/theory_pres.xsl	[new file with mode: 0644]	blob

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

RSS Atom