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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 19 Jun 2003 15:31:51 +0000 (15:31 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 19 Jun 2003 15:31:51 +0000 (15:31 +0000)
commit	bac72fcaa876137ab7a5630e0c1badc2a627dce8
tree	381e82c988c4c3bdc86530313479ad635362f94a	tree \| snapshot
parent	2dc0733271cd251aaa3edaece8a883fe691775ab	commit \| diff

Merge of the V7_3_new_exportation branch.

168 files changed:

helm/gTopLevel/.depend		diff \| blob \| history
helm/gTopLevel/Makefile		diff \| blob \| history
helm/gTopLevel/applyStylesheets.ml	[new file with mode: 0644]	blob
helm/gTopLevel/applyStylesheets.mli	[new file with mode: 0644]	blob
helm/gTopLevel/cic2Xml.ml		diff \| blob \| history
helm/gTopLevel/cic2Xml.mli		diff \| blob \| history
helm/gTopLevel/cic2acic.ml		diff \| blob \| history
helm/gTopLevel/cic2acic.mli		diff \| blob \| history
helm/gTopLevel/dictionary-cic.xml	[new file with mode: 0644]	blob
helm/gTopLevel/disambiguate.ml	[new file with mode: 0644]	blob
helm/gTopLevel/disambiguate.mli	[new file with mode: 0644]	blob
helm/gTopLevel/doubleTypeInference.ml		diff \| blob \| history
helm/gTopLevel/esempi/and_implies_or2.cic		diff \| blob \| history
helm/gTopLevel/esempi/apply.cic		diff \| blob \| history
helm/gTopLevel/esempi/bug.cic		diff \| blob \| history
helm/gTopLevel/esempi/calcolo_proposizioni.cic		diff \| blob \| history
helm/gTopLevel/esempi/conversion.cic		diff \| blob \| history
helm/gTopLevel/esempi/decompose.cic	[new file with mode: 0644]	blob
helm/gTopLevel/esempi/elim.cic		diff \| blob \| history
helm/gTopLevel/esempi/elim2.cic		diff \| blob \| history
helm/gTopLevel/esempi/evars.cic		diff \| blob \| history
helm/gTopLevel/esempi/fourier/fourier.cic	[new file with mode: 0644]	blob
helm/gTopLevel/esempi/fourier/fourier_benchmarks.cic	[new file with mode: 0644]	blob
helm/gTopLevel/esempi/fourier/fourier_make_benchmarks.ml	[new file with mode: 0644]	blob
helm/gTopLevel/esempi/prova.cic		diff \| blob \| history
helm/gTopLevel/esempi/sets.cic		diff \| blob \| history
helm/gTopLevel/esempi/various.cic	[new file with mode: 0644]	blob
helm/gTopLevel/fourier.ml	[deleted file]	blob \| history
helm/gTopLevel/fourierR.mli	[deleted file]	blob \| history
helm/gTopLevel/gTopLevel.ml		diff \| blob \| history
helm/gTopLevel/hbugs.ml	[new file with mode: 0644]	blob
helm/gTopLevel/hbugs.mli	[new file with mode: 0644]	blob
helm/gTopLevel/invokeTactics.ml	[new file with mode: 0644]	blob
helm/gTopLevel/invokeTactics.mli	[new file with mode: 0644]	blob
helm/gTopLevel/mQueryGenerator.mli	[deleted file]	blob \| history
helm/gTopLevel/misc.ml	[new file with mode: 0644]	blob
helm/gTopLevel/misc.mli	[new file with mode: 0644]	blob
helm/gTopLevel/primitiveTactics.ml	[deleted file]	blob \| history
helm/gTopLevel/primitiveTactics.mli	[deleted file]	blob \| history
helm/gTopLevel/proofEngine.ml		diff \| blob \| history
helm/gTopLevel/proofEngine.mli		diff \| blob \| history
helm/gTopLevel/proofEngineHelpers.ml	[deleted file]	blob \| history
helm/gTopLevel/proofEngineHelpers.mli	[deleted file]	blob \| history
helm/gTopLevel/proofEngineReduction.ml	[deleted file]	blob \| history
helm/gTopLevel/proofEngineReduction.mli	[deleted file]	blob \| history
helm/gTopLevel/proofEngineStructuralRules.ml	[deleted file]	blob \| history
helm/gTopLevel/proofEngineStructuralRules.mli	[deleted file]	blob \| history
helm/gTopLevel/proofEngineTypes.ml	[deleted file]	blob \| history
helm/gTopLevel/ring.ml	[deleted file]	blob \| history
helm/gTopLevel/ring.mli	[deleted file]	blob \| history
helm/gTopLevel/sequentPp.ml		diff \| blob \| history
helm/gTopLevel/tacticals.ml	[deleted file]	blob \| history
helm/gTopLevel/tacticals.mli	[deleted file]	blob \| history
helm/gTopLevel/termEditor.ml	[new file with mode: 0644]	blob
helm/gTopLevel/termEditor.mli	[new file with mode: 0644]	blob
helm/gTopLevel/termViewer.ml	[new file with mode: 0644]	blob
helm/gTopLevel/termViewer.mli	[new file with mode: 0644]	blob
helm/gTopLevel/texTermEditor.ml	[new file with mode: 0644]	blob
helm/gTopLevel/texTermEditor.mli	[new file with mode: 0644]	blob
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/xml2Gdome.ml		diff \| blob \| history
helm/ocaml/.cvsignore		diff \| blob \| history
helm/ocaml/META.helm-tactics.src	[new file with mode: 0644]	blob
helm/ocaml/META.helm-tex_cic_textual_parser.src	[new file with mode: 0644]	blob
helm/ocaml/Makefile.common.in		diff \| blob \| history
helm/ocaml/Makefile.in		diff \| blob \| history
helm/ocaml/cic/cic.ml		diff \| blob \| history
helm/ocaml/cic/cicParser.ml		diff \| blob \| history
helm/ocaml/cic/cicParser.mli		diff \| blob \| history
helm/ocaml/cic/cicParser2.ml		diff \| blob \| history
helm/ocaml/cic/cicParser2.mli		diff \| blob \| history
helm/ocaml/cic/cicParser3.ml		diff \| blob \| history
helm/ocaml/cic/cicParser3.mli		diff \| blob \| history
helm/ocaml/cic/deannotate.ml		diff \| blob \| history
helm/ocaml/cic/deannotate.mli		diff \| blob \| history
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml		diff \| blob \| history
helm/ocaml/cic_annotations/cicAnnotationParser.ml		diff \| blob \| history
helm/ocaml/cic_annotations/cicXPath.ml		diff \| blob \| history
helm/ocaml/cic_annotations_cache/cicCache.ml		diff \| blob \| history
helm/ocaml/cic_cache/cicCache.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/.cvsignore		diff \| blob \| history
helm/ocaml/cic_proof_checking/.depend		diff \| blob \| history
helm/ocaml/cic_proof_checking/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicCooking.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicCooking.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicMiniReduction.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicPp.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReduction.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionMachine.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionMachine.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/logger.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/logger.mli		diff \| blob \| history
helm/ocaml/cic_textual_parser/.depend		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualLexer.mll		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualParser.mly		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualParser0.ml		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualParserContext.ml		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualParserContext.mli		diff \| blob \| history
helm/ocaml/cic_unification/.depend		diff \| blob \| history
helm/ocaml/cic_unification/Makefile		diff \| blob \| history
helm/ocaml/cic_unification/cicRefine.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_unification/cicRefine.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_unification/cicUnification.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicUnification.mli		diff \| blob \| history
helm/ocaml/getter/.depend		diff \| blob \| history
helm/ocaml/getter/clientHTTP.ml		diff \| blob \| history
helm/ocaml/getter/configuration.ml		diff \| blob \| history
helm/ocaml/getter/configuration.mli		diff \| blob \| history
helm/ocaml/getter/getter.ml		diff \| blob \| history
helm/ocaml/getter/getter.mli		diff \| blob \| history
helm/ocaml/tactics/.cvsignore	[new file with mode: 0644]	blob
helm/ocaml/tactics/.depend	[new file with mode: 0644]	blob
helm/ocaml/tactics/Makefile	[new file with mode: 0644]	blob
helm/ocaml/tactics/discriminationTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/discriminationTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/eliminationTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/eliminationTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/equalityTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/equalityTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/fourier.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/fourier.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/fourierR.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/fourierR.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/introductionTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/introductionTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/negationTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/negationTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/primitiveTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/primitiveTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/proofEngineHelpers.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/proofEngineHelpers.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/proofEngineReduction.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/proofEngineReduction.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/proofEngineStructuralRules.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/proofEngineStructuralRules.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/proofEngineTypes.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/reductionTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/reductionTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/ring.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/ring.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/tacticChaser.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/tacticChaser.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/tacticals.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/tacticals.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/variousTactics.ml	[new file with mode: 0644]	blob
helm/ocaml/tactics/variousTactics.mli	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/.cvsignore	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/.depend	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/Makefile	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/texCicTextualParser0.ml	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/texCicTextualParserContext.ml	[new file with mode: 0644]	blob
helm/ocaml/tex_cic_textual_parser/texCicTextualParserContext.mli	[new file with mode: 0644]	blob
helm/ocaml/urimanager/uriManager.ml		diff \| blob \| history
helm/ocaml/urimanager/uriManager.mli		diff \| blob \| history
helm/ocaml/xml/xml.ml		diff \| blob \| history
helm/ocaml/xml/xml.mli		diff \| blob \| history

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

RSS Atom