Context Navigation

trunk/CASL/ColimSign.hs
trunk/CASL/CompositionTable/ToXml.hs
trunk/CASL/Monoton.hs
trunk/CASL/OMDoc.hs
trunk/CASL/Qualify.hs
trunk/CASL/QuickCheck.hs
trunk/CASL/Termination/AProVE.jar
trunk/CASL/Termination/Haskell.strategy
trunk/CASL/ToSExpr.hs
trunk/CASL/test/XSorts.casl
trunk/CASL/test/XSorts.casl.output
trunk/CASL_DL/Comorphism_specs/CardinalityRestrictions.casl
trunk/CASL_DL/Comorphism_specs/PredefinedSign.casl
trunk/CASL_DL/Comorphism_specs/makePreludeString.hs
trunk/CASL_DL/PredefinedCASLAxioms.hs
trunk/CASL_DL/Sublogics.hs
trunk/CASL_DL/test/Family.het
trunk/CASL_DL/test/testCS.het
trunk/CMDL/Commands.hs
trunk/CMDL/ConsCommands.hs
trunk/CMDL/DataTypes.hs
trunk/CMDL/DataTypesUtils.hs
trunk/CMDL/FileInterface.hs
trunk/CMDL/ProveConsistency.hs
trunk/CMDL/ProveUtils.hs
trunk/CMDL/Shell.hs
trunk/CMDL/StdInterface.hs
trunk/CMDL/StringInterface.hs
trunk/CMDL/UndoRedo.hs
trunk/CMDL/Utils.hs
trunk/Common/Base64.hs
trunk/Common/Consistency.hs
trunk/Common/ExampleMixIds.hs
trunk/Common/Exception.hs
trunk/Common/ExtSign.hs
trunk/Common/Keywords.list
trunk/Common/Lib/SizedList.hs
trunk/Common/LibName.hs
trunk/Common/LogicT.hs
trunk/Common/ProofTree.hs
trunk/Common/ProverTools.hs
trunk/Common/SExpr.hs
trunk/Common/SFKT.hs
trunk/Common/SetColimit.hs
trunk/Common/UniUtils.hs
trunk/Comorphisms/CASL2Prop.hs
trunk/Comorphisms/CASL2VSE.hs
trunk/Comorphisms/CASL2VSEImport.hs
trunk/Comorphisms/CASL2VSERefine.hs
trunk/Comorphisms/CASL_DL2CASL.hs
trunk/Comorphisms/DFOL2CASL.hs
trunk/Comorphisms/HasCASL2PCoClTyConsHOL.hs
trunk/Comorphisms/HetLogicGraph.hs
trunk/Comorphisms/MonadicHasCASLTranslation.hs
trunk/Comorphisms/OWL2CASL.hs
trunk/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs
trunk/Comorphisms/PPolyTyConsHOL2IsaUtils.hs
trunk/Comorphisms/RelScheme2CASL.hs
trunk/Comorphisms/test/sublogicGraph.hs
trunk/ConstraintCASL/AS_ConstraintCASL.hs
trunk/CspCASL/Comorphisms.hs
trunk/CspCASL/Core_CspCASL.hs
trunk/CspCASL/CspProver_Consts.hs
trunk/CspCASL/LocalTop.hs
trunk/CspCASL/Morphism.hs
trunk/CspCASL/SimplifySen.hs
trunk/CspCASL/test/BufferView.het
trunk/CspCASL/test/chanClash.cspcasl
trunk/CspCASL/test/tcs1.het.cspcasl
trunk/CspCASL/test/test.cspcasl
trunk/CspCASLProver.hs
trunk/CspCASLProver/Consts.hs
trunk/CspCASLProver/CspCASLProver.hs
trunk/CspCASLProver/CspProverConsts.hs
trunk/CspCASLProver/IsabelleUtils.hs
trunk/CspCASLProver/TransProcesses.hs
trunk/CspCASLProver/Utils.hs
trunk/DFOL/AS_DFOL.hs
trunk/DFOL/Analysis_DFOL.hs
trunk/DFOL/Comorphism.hs
trunk/DFOL/Logic_DFOL.hs
trunk/DFOL/Morphism.hs
trunk/DFOL/Parse_AS_DFOL.hs
trunk/DFOL/Sign.hs
trunk/DFOL/Symbol.hs
trunk/DFOL/Tests/Categories.het
trunk/DFOL/Tests/Matrices.het
trunk/DFOL/Tests/Test_AS_DFOL.hs
trunk/DFOL/Tests/Test_Analysis_DFOL.hs
trunk/DFOL/Tests/Test_Parse_AS_DFOL.hs
trunk/DFOL/Utils.hs
trunk/Driver/AnaLib.hs
trunk/Driver/WriteLibDefn.hs
trunk/GUI/Glade/ConsistencyChecker.glade
trunk/GUI/Glade/LinkTypeChoice.glade
trunk/GUI/Glade/Template.append.hs
trunk/GUI/Glade/TextView.glade
trunk/GUI/Glade/Utils.glade
trunk/GUI/GraphAbstraction.hs
trunk/GUI/GtkConsistencyChecker.hs
trunk/GUI/GtkLinkTypeChoice.hs
trunk/GUI/GtkTextView.hs
trunk/GUI/GtkUtils.hs
trunk/GUI/UDGUtils.hs
trunk/GUI/cgi-files/register-file.sh.patch
trunk/HasCASL/FoldType.hs
trunk/HasCASL/TypeRel.hs
trunk/Haskell/test/HOLCF/PPrel.hs
trunk/Hets.cabal
trunk/Interfaces/CmdAction.hs
trunk/Interfaces/Command.hs
trunk/Interfaces/DataTypes.hs
trunk/Interfaces/GenericATPState.hs
trunk/Interfaces/History.hs
trunk/Interfaces/Readme.txt
trunk/Interfaces/Utils.hs
trunk/Isabelle/MarkSimp.hs
trunk/Logic/ExtSign.hs
trunk/Logic/Modification.hs
trunk/Maude/AS_Maude.hs
trunk/Maude/Logic_Maude.hs
trunk/Maude/Meta.hs
trunk/Maude/Meta/HasLabels.hs
trunk/Maude/Meta/HasOps.hs
trunk/Maude/Meta/HasSorts.hs
trunk/Maude/Meta/Module.hs
trunk/Maude/Meta/Qid.hs
trunk/Maude/Meta/Term.hs
trunk/Maude/Morphism.hs
trunk/Maude/Parse.hs
trunk/Maude/Sentence.hs
trunk/Maude/Sign.hs
trunk/Maude/Symbol.hs
trunk/Modifications/ModalEmbedding.hs
trunk/OMDoc.hs
trunk/OMDoc/CASLDefs.hs
trunk/OMDoc/CASLOutput.hs
trunk/OMDoc/DataTypes.hs
trunk/OMDoc/Export.hs
trunk/OMDoc/Sentences.hs
trunk/OMDoc/XmlInterface.hs
trunk/OWL/AS.hs
trunk/OWL/ColonKeywords.hs
trunk/OWL/ColonKeywords.list
trunk/OWL/Conservativity.hs
trunk/OWL/Keywords.hs
trunk/OWL/Keywords.list
trunk/OWL/Logic_OWL.hs
trunk/OWL/Morphism.hs
trunk/OWL/OWLParser.hs
trunk/OWL/Parse.hs
trunk/OWL/ProveFact.hs
trunk/OWL/ProvePellet.hs
trunk/OWL/StaticAnalysis.hs
trunk/OWL/StructureAnalysis.hs
trunk/OWL/Sublogic.hs
trunk/OWL/Taxonomy.hs
trunk/OWL/doc/README_pellet_de.txt
trunk/OWL/doc/README_pellet_en.txt
trunk/OWL/java/Makefile
trunk/OWL/java/README.txt
trunk/OWL/java/build.xml
trunk/OWL/java/de/unibremen/informatik/Fact/Fact.java
trunk/OWL/java/de/unibremen/informatik/atermRenderer/ATermFunc.java
trunk/OWL/java/de/unibremen/informatik/atermRenderer/OWL2ATerm.java
trunk/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermFormat.java
trunk/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermObjectRenderer.java
trunk/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermRenderer.java
trunk/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermStorer.java
trunk/OWL/java/de/unibremen/informatik/locality/LocalityChecker.java
trunk/OWL/owl_fact
trunk/OWL/owl_locality
trunk/OWL/tests/ActorDefault.owl
trunk/OWL/tests/AnnoTestProLite.owl
trunk/OWL/tests/BravoAirGrounding.owl
trunk/OWL/tests/BravoAirGrounding.wsdl
trunk/OWL/tests/BravoAirProcess.owl
trunk/OWL/tests/BravoAirProfile.owl
trunk/OWL/tests/BravoAirService.owl
trunk/OWL/tests/Concepts.owl
trunk/OWL/tests/CongoGrounding.owl
trunk/OWL/tests/CongoGrounding.wsdl
trunk/OWL/tests/CongoProcess.owl
trunk/OWL/tests/CongoProfile.owl
trunk/OWL/tests/CongoService.owl
trunk/OWL/tests/Country.owl
trunk/OWL/tests/Expression.owl
trunk/OWL/tests/Family.het
trunk/OWL/tests/Grounding.owl
trunk/OWL/tests/Makefile
trunk/OWL/tests/ObjectList.owl
trunk/OWL/tests/Process.owl
trunk/OWL/tests/Profile.owl
trunk/OWL/tests/ProfileAdditionalParameters.owl
trunk/OWL/tests/ProfileHierarchy.owl
trunk/OWL/tests/Service.owl
trunk/OWL/tests/Test2.owl
trunk/OWL/tests/beer.owl
trunk/OWL/tests/family.owl
trunk/OWL/tests/pizza.owl
trunk/OWL/tests/replaceLinks.sh
trunk/OWL/tests/run.sh
trunk/OWL/tests/test1.xml
trunk/OWL/tests/time-entry.owl
trunk/OWL/tests/wine.rdf
trunk/OWL/tests/wine.xml
trunk/Omega/DataTypes.hs
trunk/Omega/Export.hs
trunk/Omega/Terms.hs
trunk/Omega/ToLisp.hs
trunk/PGIP/MarkPgip.hs
trunk/PGIP/XMLparsing.hs
trunk/PGIP/XMLstate.hs
trunk/PGIP/tests/Server.hs
trunk/PGIP/tests/SyslogTypes.hs
trunk/Proofs/ComputeColimit.hs
trunk/Proofs/DGFlattening.hs
trunk/Proofs/NormalForm.hs
trunk/Proofs/QualifyNames.hs
trunk/Proofs/VSE.hs
trunk/Propositional/ChildMessage.hs
trunk/Propositional/Conservativity.hs
trunk/Propositional/Fold.hs
trunk/Propositional/ProveMinisat.hs
trunk/Propositional/ProveWithTruthTable.hs
trunk/Propositional/TestCons/conservative.het
trunk/Propositional/TestCons/non-cons.het
trunk/RelationalScheme.hs
trunk/RelationalScheme/AS.der.hs
trunk/RelationalScheme/Keywords.hs
trunk/RelationalScheme/Logic_Rel.hs
trunk/RelationalScheme/ParseRS.hs
trunk/RelationalScheme/Sign.hs
trunk/RelationalScheme/StaticAnalysis.hs
trunk/RelationalScheme/Syntax.txt
trunk/RelationalScheme/test/rel.het
trunk/Search/CASL/FormulaWrapper.hs
trunk/Search/CASL/NormalizationDB.hs
trunk/Search/CASL/Retrieval.hs
trunk/Search/Common/ACINormalization.hs
trunk/Search/Common/ACStandardization.hs
trunk/Search/Common/BooleanRing.hs
trunk/Search/Common/CNF.hs
trunk/Search/Common/Data.hs
trunk/Search/Common/Intersection.hs
trunk/Search/Common/Normalization.hs
trunk/Search/Common/Select.hs
trunk/Search/Config.hs
trunk/Search/DB/Connection.hs
trunk/Search/DB/DBSpec.hs
trunk/Search/DB/Export.hs
trunk/Search/DB/FormulaDB.hs
trunk/Search/DB/FormulaDB/Inclusion.hs
trunk/Search/DB/FormulaDB/Profile.hs
trunk/Search/DB/FormulaDB/Statistics.hs
trunk/Search/DB/MPTP.hs
trunk/Search/DB/MPTP/Inclusion.hs
trunk/Search/DB/MPTP/Profile.hs
trunk/Search/DB/MPTP/Statistics.hs
trunk/Search/SPASS/DB.hs
trunk/Search/SPASS/DFGParser.hs
trunk/Search/SPASS/FormulaWrapper.hs
trunk/Search/SPASS/InterActiveTesting.hs
trunk/Search/SPASS/Intersection.hs
trunk/Search/SPASS/ReusedTheorems.hs
trunk/Search/SPASS/Sign.hs
trunk/Search/SPASS/UnWrap.hs
trunk/Search/Utils/List.hs
trunk/Search/Utils/ListSet.hs
trunk/Search/Utils/SetMap.hs
trunk/SoftFOL/ParseTPTP.hs
trunk/SoftFOL/ProveDarwin.hs
trunk/SoftFOL/ProveSPASS.hs
trunk/SoftFOL/dfg.hs
trunk/SoftFOL/tptp.hs
trunk/Static/GTheory.hs
trunk/Static/WACocone.hs
trunk/Syntax/ToXml.hs
trunk/Temporal/AS_BASIC_Temporal.hs
trunk/Temporal/Ctl.hs
trunk/Temporal/Kripke.hs
trunk/Temporal/Logic_Temporal.hs
trunk/Temporal/Main.hs
trunk/Temporal/Makefile
trunk/Temporal/ModalCasl.hs
trunk/Temporal/ModalCaslToCtl.hs
trunk/Temporal/ModalCaslToMu.hs
trunk/Temporal/ModalCaslToNuSmvLtl.hs
trunk/Temporal/Mu.hs
trunk/Temporal/NuSmv.hs
trunk/Temporal/NuSmvLtl.hs
trunk/Temporal/formula.txt
trunk/Temporal/mutex.smv
trunk/VSE/Ana.hs
trunk/VSE/As.hs
trunk/VSE/Fold.hs
trunk/VSE/Logic_VSE.hs
trunk/VSE/Parse.hs
trunk/VSE/Prove.hs
trunk/VSE/ToSExpr.hs
trunk/VSE/api.pdf
trunk/VSE/test/ABCD.het
trunk/VSE/test/Imports.casl
trunk/VSE/test/List_Rev.casl
trunk/VSE/test/natbin.het
trunk/VSE/test/natbin_refine.het
trunk/VSE/test/rll.het
trunk/build.xml
trunk/test/HasCASLRenameTest/Rename.het
trunk/test/HasCASLRenameTest/Rename_s2.th
trunk/test/HasCASLRenameTest/run.sh
trunk/test/IsabelleCoding/ManySubsorts.het
trunk/test/QBF.het
trunk/test/SymbolMapping/S.casl
trunk/test/SymbolMapping/run.sh
trunk/todo
trunk/utils/InlineAxioms/InlineAxioms.cabal
trunk/utils/LiveCD/HetsLiveCD.xml
trunk/utils/LiveCD/HetsRootMini.xml
trunk/utils/LiveCD/README
trunk/utils/LiveCD/colorprint.py
trunk/utils/LiveCD/exec/inithets
trunk/utils/LiveCD/mkHetsLiveCD.py
trunk/utils/LiveCD/mkMiniXML.py
trunk/utils/Setup.hs
trunk/utils/createKeywordDecls.hs
trunk/utils/el/hpf-mode.el
trunk/utils/el/hpf.el
trunk/utils/globallyInstallGhcPgk.sh
trunk/utils/installHetsPkgs.sh
trunk/utils/installPkg.sh
trunk/utils/lstcasl.sty
trunk/utils/nightly/intel-mac/makeHets.plist
trunk/utils/nightly/linux/monthly.sh
trunk/utils/nightly/linux64/cronjob.sh
trunk/utils/nightly/mac/cronentry.txt
trunk/utils/nightly/pc-solaris/cronentry.txt
trunk/utils/nightly/runDarwin.sh
trunk/utils/nightly/solaris/cronentry.txt
trunk/utils/quickcheck.lhs
trunk/utils/test_lst.tex
trunk/utils/updateReleaseLinks.sh
trunk/var.mk
trunk/version_nr

set svn:keywords and svn:eol-style props

14:31 Changeset [11853] by maeder

trunk

corrected svn:ignore property

14:24 Changeset [11852] by maeder

trunk/HasCASL/test/And.hascasl
trunk/HasCASL/test/And.hascasl.output
trunk/HasCASL/test/B1.hascasl
trunk/HasCASL/test/Binder.hascasl
trunk/HasCASL/test/Binder.hascasl.output
trunk/HasCASL/test/Chain.hascasl
trunk/HasCASL/test/Chain.hascasl.output
trunk/HasCASL/test/ClassKinds.hascasl
trunk/HasCASL/test/ClassKinds.hascasl.output
trunk/HasCASL/test/CompoundList.hascasl
trunk/HasCASL/test/CompoundList.hascasl.output
trunk/HasCASL/test/Flag.hascasl
trunk/HasCASL/test/Flag.hascasl.output
trunk/HasCASL/test/Freetype.hascasl
trunk/HasCASL/test/Freetype.hascasl.output
trunk/HasCASL/test/NAdd.hascasl
trunk/HasCASL/test/NAdd.hascasl.output
trunk/HasCASL/test/Per.hascasl
trunk/HasCASL/test/Per.hascasl.output
trunk/HasCASL/test/Phantom.hascasl
trunk/HasCASL/test/Phantom.hascasl.output
trunk/HasCASL/test/Product.hascasl
trunk/HasCASL/test/Product.hascasl.output
trunk/HasCASL/test/StateMonad.hascasl
trunk/HasCASL/test/StateMonad.hascasl.output
trunk/HasCASL/test/Subtype2.hascasl
trunk/HasCASL/test/Subtype2.hascasl.output
trunk/HasCASL/test/Subtype3.hascasl
trunk/HasCASL/test/Subtype3.hascasl.output
trunk/HasCASL/test/Subtype4.hascasl
trunk/HasCASL/test/Subtype4.hascasl.output
trunk/HasCASL/test/Subtype5.hascasl
trunk/HasCASL/test/Subtype5.hascasl.output

adjusted properties

13:58 Changeset [11851] by ewaryst

trunk/Syntax/ToXml.hs

annoted and range implemented

13:58 Changeset [11850] by ewaryst

trunk/Common/Result.hs

added Pretty instance for the Range

13:30 Changeset [11849] by maeder

trunk/README

added environment variables

11:30 Changeset [11848] by maeder

trunk/utils/nightly/cronjob.sh

added hpf check command that does not go through currently #680

29.06.2009:

19:03 Changeset [11847] by maeder

trunk/Maude/AS_Maude.hs

allow re-parsing by adding curly braces: hets -v2 -p -o pp.het

18:57 Changeset [11846] by maeder

trunk/Maude/Parse.hs

removed carriage returns

18:52 Changeset [11845] by maeder

trunk/Maude/Logic_Maude.hs

use parser

18:46 Changeset [11844] by maeder

trunk/Maude/Parse.hs

parse a string containing maude text

18:01 Changeset [11843] by maeder

trunk/Comorphisms/LogicList.hs
trunk/Maude/AS_Maude.hs
trunk/Maude/Logic_Maude.hs
trunk/Maude/Meta/Qid.hs

added logic maude

17:12 Ticket #714 (Compositional reasoning in Coloss) created by lschrode

Get the compositionality mechanism of ICALP 07 to work in Haskell in a …

17:10 Ticket #713 (Benchmarks for Coalgebraic Modal Logic) created by lschrode

Design sets of benchmark formulas both for the generic case (difficult! …

17:08 Ticket #712 (Optimizations for Coloss) created by lschrode

Implement the FaCT optimisations described in Horrocks/Patel-Schneider …

17:06 Ticket #711 (Implement coNP proof search for conditional logic) created by lschrode

Implement the dynamic programming approach described in the TABLEAUX 09 …

17:05 Changeset [11842] by adrian

trunk/Maude/AS_Maude.hs

abstract Maude syntax

16:58 Changeset [11841] by maeder

trunk/Common/test/checkFunctions.sh

removed expand (because it is missing under msys)

16:15 Changeset [11840] by till

trunk/Propositional/ProveWithTruthTable.hs

typo

16:13 Changeset [11839] by maeder

trunk/HasCASL/MixAna.hs
trunk/HasCASL/RunMixfixParser.hs
trunk/HasCASL/TypeCheck.hs

properly resolve binder patterns later

25.06.2009:

17:36 Changeset [11838] by ewaryst

trunk/Driver/WriteLibDefn.hs

a new output is available: pp.xml

17:35 Changeset [11837] by ewaryst

trunk/Syntax/ToXml.hs

added the xml export of the LIB_DEFN structure

15:17 Changeset [11836] by rpascanu

trunk/PGIP/MarkPgip.hs
trunk/PGIP/XMLparsing.hs
trunk/PGIP/XMLstate.hs

working PGIP interaction

24.06.2009:

15:06 Changeset [11835] by maeder

trunk/Driver/Options.hs

added pp.xml output type for #703

14:36 Changeset [11834] by maeder

trunk/Comorphisms/PPolyTyConsHOL2IsaUtils.hs

properly integrate condition into unit term

12:58 Changeset [11833] by rpascanu

trunk/PGIP/MarkPgip.hs
trunk/PGIP/XMLparsing.hs
trunk/PGIP/XMLstate.hs

Broker - Hets communication

23.06.2009:

16:02 Changeset [11832] by maeder

trunk/OWL/Logic_OWL.hs

added symbol_to_raw implementation for logic OWL

15:05 Changeset [11831] by maeder

trunk/HasCASL/TypeCheck.hs
trunk/HasCASL/test/Prelude.hascasl.output

also check overloaded final term for uninstantiated variables

14:19 Changeset [11830] by maeder

trunk/HasCASL/TypeAna.hs

refined lesserType relation considering the lazy type constructor '?'

13:09 Changeset [11829] by ewaryst

trunk/OMDoc/Export.hs
trunk/OMDoc/XmlInterface.hs

removed shadowing warnings

13:09 Changeset [11828] by ewaryst

trunk/CASL/OMDoc.hs

removed 2 warnings

12:53 Changeset [11827] by maeder

trunk/Hets.cabal

adapted to ghc-6.10.3

10:15 Changeset [11826] by maeder

trunk/Comorphisms/PPolyTyConsHOL2IsaUtils.hs

keep condition within quantifier

19.06.2009:

18:33 Changeset [11825] by maeder

trunk/CASL/Morphism.hs
trunk/Common/Utils.hs
trunk/CspCASL/Morphism.hs
trunk/HasCASL/Morphism.hs
trunk/HasCASL/SymbolMapAnalysis.hs
trunk/RelationalScheme/Sign.hs

corrected map composition

17:10 Changeset [11824] by maeder

trunk/CASL/SymbolMapAnalysis.hs
trunk/CspCASL/Logic_CspCASL.hs
trunk/CspCASL/Morphism.hs

fixed symbol map analysis for CspCASL

15:40 Changeset [11823] by maeder

trunk/CspCASL/Morphism.hs

added inducedCspSign

15:02 Changeset [11822] by maeder

trunk/CASL/SymbolMapAnalysis.hs
trunk/VSE/Logic_VSE.hs

extended input for inducedFrom...Ext functions

13:41 Changeset [11821] by maeder

trunk/Logic/ExtSign.hs

improved error positions

13:32 Changeset [11820] by maeder

trunk/DFOL/Symbol.hs
trunk/Logic/Logic.hs
trunk/OWL/Print.hs
trunk/Propositional/Symbol.hs
trunk/Temporal/Symbol.hs

require GetRange? instances for better raw_symbol error messages

13:29 Changeset [11819] by maeder

trunk/CASL/SymbolMapAnalysis.hs

use lower case in messages

18.06.2009:

18:07 Changeset [11818] by maeder

trunk/CASL/SymbolMapAnalysis.hs
trunk/CspCASL/Logic_CspCASL.hs
trunk/HasCASL/SymbolMapAnalysis.hs
trunk/Logic/ExtSign.hs
trunk/Static/AnalysisStructured.hs

made induced_from_morphism symbol tests logic independent

16:24 Changeset [11817] by maeder

trunk/GUI/GraphLogic.hs
trunk/Static/DevGraph.hs

ref nodes are never internal

16:21 Ticket #593 (Redesign OWL) closed by luecke

fixed

16:12 Changeset [11816] by maeder

trunk/GUI/GraphLogic.hs
trunk/Static/DevGraph.hs

removed string test using getDGNodeType

15:52 Changeset [11815] by maeder

trunk/CMDL/ConsCommands.hs
trunk/CMDL/Utils.hs
trunk/Proofs/VSE.hs
trunk/Static/DevGraph.hs
trunk/Static/PrintDevGraph.hs

refactored EdgeId? showing

15:44 Changeset [11814] by maeder

trunk/CMDL/DgCommands.hs
trunk/CMDL/InfoCommands.hs
trunk/CMDL/ProveCommands.hs
trunk/CMDL/ProveConsistency.hs
trunk/CMDL/Shell.hs
trunk/CMDL/Utils.hs

removed duplicate utilities

15:23 Changeset [11813] by maeder

trunk/OMDoc/CASLOutput.hs
trunk/OMDoc/HetsDefs.hs
trunk/OMDoc/KeyDebug.hs
trunk/OMDoc/OMDocInput.hs
trunk/OMDoc/OMDocOutput.hs
trunk/OMDoc/OMDocXml.hs
trunk/OMDoc/Sentences.hs
trunk/OMDoc/Util.hs

removed obsolete OMDoc utilities

14:43 Changeset [11812] by maeder

trunk/Common/Utils.hs
trunk/Driver/Options.hs
trunk/GUI/GraphMenu.hs
trunk/OMDoc/OMDocOutput.hs

used intercalate for joinWith

14:27 Changeset [11811] by maeder

trunk/Comorphisms/PPolyTyConsHOL2IsaUtils.hs

liberalize IdOp? test

14:07 Changeset [11810] by maeder

trunk/HasCASL/PrintAs.hs
trunk/HasCASL/test/OpDecls.hascasl.output

prefer printing 'as' over ':'

14:06 Changeset [11809] by maeder

trunk/HasCASL/test/OpDecls.hascasl
trunk/HasCASL/test/OpDecls.hascasl.output

added print test case

10:17 Changeset [11808] by maeder

trunk/Common/Id.hs

added Read instance for Token

17.06.2009:

19:11 Ticket #710 (Node -> Prove changes are not displayed directly) created by raider

Invokation of prove window is not block and update of graph is done to …

19:08 Ticket #705 (Hide/Show internal names bug) closed by raider

fixed: changeset:11807

19:06 Ticket #708 (Menu entry "Hide/show proven nodes" is misleading) closed by raider

fixed

19:02 Changeset [11807] by raider

trunk/GUI/GraphAbstraction.hs
trunk/GUI/GraphLogic.hs
trunk/GUI/GraphMenu.hs
trunk/GUI/GraphTypes.hs

fixed #708 and #705

18:46 Changeset [11806] by maeder

trunk/HasCASL/OpDecl.hs
trunk/HasCASL/TypeCheck.hs
trunk/HasCASL/TypeDecl.hs

require input type for type checking

17:13 Changeset [11805] by csliam

trunk/Comorphisms/CASL2CspCASL.hs
trunk/Comorphisms/CspCASL2Modal.hs
trunk/CspCASL/AS_CspCASL_Process.der.hs
trunk/CspCASL/Comorphisms.hs
trunk/CspCASL/CspProver_Consts.hs
trunk/CspCASL/Logic_CspCASL.hs
trunk/CspCASL/Morphism.hs
trunk/CspCASL/Print_CspCASL.hs
trunk/CspCASL/SignCSP.hs
trunk/CspCASL/SimplifySen.hs
trunk/CspCASL/StatAnaCSP.hs
trunk/CspCASLProver/Consts.hs
trunk/CspCASLProver/CspCASLProver.hs
trunk/CspCASLProver/CspProverConsts.hs
trunk/CspCASLProver/TransProcesses.hs
trunk/CspCASLProver/Utils.hs
trunk/Isabelle/IsaConsts.hs
trunk/Isabelle/IsaPrint.hs
trunk/Makefile

Comitting CspCASL Implementation after a while.

Data types for CspCASLMorphisms, mapping morphisms over CspCASL signatures and sentences. Additions to CspCASLProver where the Isabelle generated code for channels may be incorrect with the respect to the CspCASL semantics (will sort out soon). Some other parts of the CspCASL Logic may also now be working.

--This line, and those below, will be ignored--

M Comorphisms/CASL2CspCASL.hs M Comorphisms/CspCASL2Modal.hs M Makefile M CspCASLProver/CspCASLProver.hs M CspCASLProver/Consts.hs M CspCASLProver/CspProverConsts.hs M CspCASLProver/TransProcesses.hs M CspCASLProver/Utils.hs M CspCASL/SignCSP.hs M CspCASL/CspProver_Consts.hs M CspCASL/AS_CspCASL_Process.der.hs M CspCASL/Morphism.hs M CspCASL/StatAnaCSP.hs M CspCASL/SimplifySen.hs M CspCASL/Comorphisms.hs M CspCASL/Print_CspCASL.hs M CspCASL/Logic_CspCASL.hs M Isabelle/IsaConsts.hs M Isabelle/IsaPrint.hs

11:33 Changeset [11804] by maeder

trunk/Propositional/Fold.hs

added symmetric dnf computation

11:29 Ticket #709 (changeset:11799 displays graphs wrongly after "Proofs") created by maeder

the Hets-lib examples Calculi/Space/RCCVerification.het and …

11:25 Changeset [11803] by till

trunk/CASL/Sublogic.hs

corrected description of onlyInjConstrs

10:12 Ticket #708 (Menu entry "Hide/show proven nodes" is misleading) created by till

There are green internal nodes without any proof obligations. Better …

09:18 Ticket #707 (Have a look at model finder Nitpick) created by till

It is integrated into Isabelle, see …

16.06.2009:

23:18 Ticket #706 (SPASS fails to create CNF for large propositional formula) closed by maeder

fixed: used own cnf computation (slower and without new variables, but …

23:13 Changeset [11802] by maeder

trunk/Propositional/Conversions.hs

fix #706 by own cnf computation

23:09 Ticket #706 (SPASS fails to create CNF for large propositional formula) created by maeder

trying to prove Five.het from the attachment using minisat fails, …

22:48 Changeset [11801] by maeder

trunk/CASL/Induction.hs
trunk/CASL/Monoton.hs
trunk/CASL/Overload.hs
trunk/Common/Utils.hs
trunk/Propositional/AS_BASIC_Propositional.der.hs
trunk/Propositional/Fold.hs

moved combine to Utils and implemented propositional CNF computation

16:08 Changeset [11800] by ewaryst

trunk/Driver/WriteFn.hs

exp changed to omdoc-export

01:23 Ticket #705 (Hide/Show internal names bug) created by raider

Not all names are shown if Hide/Show nodes is called after Hide/Show …

01:15 Changeset [11799] by raider

trunk/GUI/GraphAbstraction.hs
trunk/GUI/GraphDisplay.hs
trunk/GUI/GraphLogic.hs
trunk/GUI/GraphMenu.hs
trunk/GUI/GraphTypes.hs
trunk/GUI/ShowLibGraph.hs
trunk/Interfaces/History.hs

applyChanges can now handle a list of edges to hide too. convert replaced with applyChanges by providing a function to convert a new dgraph to a list of dgchange. hideNodes is not applied after first creation of graph anymore, it will be done in one step by applyChanges. added a option record to ginfo to store if nodes or edges should be hidden or not. all graph updates are using this option. on newly created graph, proven nodes and proven edges are hidden by default. renamed some menuentries and moved entry for hidin edges to the submenu for nodes.