]> matita.cs.unibo.it Git - helm.git/commit
matitadep: we now handle the inline of an uri, we removed the -exclude option
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Jul 2008 17:28:07 +0000 (17:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Jul 2008 17:28:07 +0000 (17:28 +0000)
commit32e77480c65cbf23ae7dea38a519c83dfeaf3830
treee1b9ef8fe02e93244e1094e22463395514b2b84f
parent298868e07163c21863d542136733d24bfbec2482
matitadep: we now handle the inline of an uri, we removed the -exclude option
matitaInit: we removed the -drop option (now handled automatically)
transcript: we removed the baseuri generation
CoRN-Procedural: the mma files and the depends file are now available
168 files changed:
helm/software/components/binaries/transcript/engine.ml
helm/software/components/binaries/transcript/grafite.ml
helm/software/components/binaries/transcript/types.ml
helm/software/matita/contribs/CoRN-Procedural/CoRN.ma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/Makefile
helm/software/matita/contribs/CoRN-Procedural/algebra/Basics.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CAbGroups.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CAbMonoids.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CFields.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CGroups.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CLogic.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CMonoids.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdAbs.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdCauchy.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdFields.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdFields2.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_ApZero.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_Degree.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_NthCoeff.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPolynomials.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CRings.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSemiGroups.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoidFun.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoidInc.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoids.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSums.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/CVectorSpace.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/Cauchy_COF.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/Expon.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/algebra/ListType.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/complex/AbsCC.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/complex/CComplex.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/complex/Complex_Exponential.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/complex/NRootCC.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/depends [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/devel/loeb/IDA/Ch6.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/devel/loeb/per/csetfun.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/devel/loeb/per/lst2fun.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/CC_Props.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Contin1.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Rev.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Shift.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/FTA.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/FTAreg.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/KeyLemma.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/KneserLemma.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/fta/MainLemma.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/COrdLemmas.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/CalculusTheorems.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Composition.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Continuity.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Derivative.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/DerivativeOps.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Differentiability.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/FTC.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSequence.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSeries.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSums.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Integral.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/IntervalFunct.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreFunSeries.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreFunctions.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreIntegrals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreIntervals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/NthDerivative.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/PartFunEquality.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/PartInterval.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Partitions.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefLemma.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSepRef.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSeparated.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSeparating.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Rolle.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/StrongIVT.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/Taylor.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/TaylorLemma.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/ftc/WeakIVT.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/metrics/CMetricSpaces.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/metrics/CPMSTheory.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/metrics/CPseudoMSpaces.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/metrics/ContFunctions.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/metrics/Equiv.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/metrics/IR_CPMSpace.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/metrics/Prod_Sub.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/QSposabgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/Qabgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/Qposabgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/Zabgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/fields/Qfield.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/groups/QSposgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/groups/Qgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/groups/Qposgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/groups/Zgroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Nmonoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Nposmonoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/QSposmonoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Qmonoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Qposmonoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Zmonoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/non_examples/N_no_group.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/non_examples/Npos_no_group.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/non_examples/Npos_no_monoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/ordfields/Qordfield.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/reals/Cauchy_IR.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/rings/Qring.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/rings/Zring.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Npossemigroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Nsemigroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/QSpossemigroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Qpossemigroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Qsemigroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Zsemigroup.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Npossetoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Nsetoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Qpossetoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Qsetoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Zsetoid.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Npossec.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Nsec.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Qpossec.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Qsec.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Zsec.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/preamble.ma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Bridges_LUB.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Bridges_iso.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/CMetricFields.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/CPoly_Contin.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/CReals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/CReals1.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/CSumsReals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/CauchySeq.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Cauchy_CReals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/IVT.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Intervals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Max_AbsIR.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/NRootIR.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/OddPolyRootIR.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Q_dense.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Q_in_CReals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/R_morphism.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/RealFuncts.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/RealLists.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/Series.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/reals/iso_CReals.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/root
helm/software/matita/contribs/CoRN-Procedural/tactics/AlgReflection.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/DiffTactics1.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/DiffTactics2.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/DiffTactics3.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/FieldReflection.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/GroupReflection.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/Opaque_algebra.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/RingReflection.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/Step.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/tactics/Transparent_algebra.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/Exponential.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/InvTrigonom.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/Pi.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/PowerSeries.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/RealPowers.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/SinCos.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/TaylorSeries.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/TrigMon.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transc/Trigonometric.mma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Procedural/transcript.conf.xml [deleted file]
helm/software/matita/matitaInit.ml
helm/software/matita/matitacLib.mli
helm/software/matita/matitadep.ml