History log of /hets/CommonLogic/ParseCLAsLibDefn.hs
Revision Date Author Comments Expand
e9458b1a7a19a63aa4c179f9ab20f4d50681c168 25-Mar-2016 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>

applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename

/hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/Keywords.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ModelFormula.hs /hets/CASL/CompositionTable/ModelTable.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ParseTable2.hs /hets/CASL/CompositionTable/Pretty2.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Cycle.hs /hets/CASL/Disambiguate.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/World.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/ExtendedParameter.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/XMLKeywords.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/AutoProofUtils.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/Data.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/FileType.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/Http.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Json.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lattice.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Maybe.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Percent.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SAX.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/Unlit.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlDiff.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/XmlPickler.hs /hets/Common/testxmldiff.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs AS_CommonLogic.der.hs Analysis.hs CASLSig.hs ClTests.hs ExpandCurie.hs Lexer_CLIF.hs Lexer_KIF.hs Logic_CommonLogic.hs ModuleElimination.hs Morphism.hs OMDoc.hs OMDocExport.hs OMDocImport.hs ParseCLAsLibDefn.hs Parse_CLIF.hs Parse_KIF.hs PredefinedCASLAxioms.hs Print_KIF.hs Sign.hs Sublogic.hs Symbol.hs Tools.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2ExtModal.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/ExtModal2CASL.hs /hets/Comorphisms/ExtModal2ExtModalNoSubsorts.hs /hets/Comorphisms/ExtModal2ExtModalTotal.hs /hets/Comorphisms/ExtModal2HasCASL.hs /hets/Comorphisms/ExtModal2OWL.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HasCASL2THFP_P.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAddSentence.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2/AS.hs /hets/OWL2/CASL2OWL.hs /hets/OWL2/ColimSign.hs /hets/OWL2/ColonKeywords.hs /hets/OWL2/Conservativity.hs /hets/OWL2/CreateOWL.hs /hets/OWL2/DMU2OWL2.hs /hets/OWL2/Extract.hs /hets/OWL2/ExtractModule.hs /hets/OWL2/Function.hs /hets/OWL2/Keywords.hs /hets/OWL2/Logic_OWL2.hs /hets/OWL2/MS.hs /hets/OWL2/MS2Ship.hs /hets/OWL2/ManchesterParser.hs /hets/OWL2/ManchesterPrint.hs /hets/OWL2/Medusa.hs /hets/OWL2/MedusaToJson.hs /hets/OWL2/Morphism.hs /hets/OWL2/OWL22CASL.hs /hets/OWL2/OWL22CommonLogic.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Propositional2OWL2.hs /hets/OWL2/ProveFact.hs /hets/OWL2/ProvePellet.hs /hets/OWL2/ProverState.hs /hets/OWL2/Rename.hs /hets/OWL2/ShipSyntax.hs /hets/OWL2/Sign.hs /hets/OWL2/StaticAnalysis.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/OWL2/Taxonomy.hs /hets/OWL2/Theorem.hs /hets/OWL2/Translate.hs /hets/OWL2/XML.hs /hets/OWL2/XMLConversion.hs /hets/OWL2/XMLKeywords.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
d2db653e792249571fa437303fd5c1b152f4db9c 24-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

collect clif parse errors
1e2a1271d80324a0b704d43a6408d24edb98cfb5 13-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

ignore wrong names in imported clif files
fffa7d668825e2f62d951309c2f72785214a690a 11-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

make more noise for clif problems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18480 cec4b9c1-7d33-0410-9eda-942365e851bb
0130083f314580170af1195037be3325f125fbce 10-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

refactored content reading git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18474 cec4b9c1-7d33-0410-9eda-942365e851bb
6ceb15683350b74ef9a6d7cd7564113ed52ed4c1 07-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

get proper locations for clif files #1244 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18471 cec4b9c1-7d33-0410-9eda-942365e851bb
966b9e5b583d3a4986e7fe05c0e5e49c8566c39e 07-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

reconstruct location for clif #1244 (but extension is still missing) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18469 cec4b9c1-7d33-0410-9eda-942365e851bb
4d7726898f493665cc428421c07436ddd5476930 30-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

fully show cyclic imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18451 cec4b9c1-7d33-0410-9eda-942365e851bb
c7be6422e02788113539bfafd8a0c7e7c7f6fde0 30-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

extract cl-text as library name if possible #1240 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18450 cec4b9c1-7d33-0410-9eda-942365e851bb
0a3f848fd37baa2564eadcd6341703cc53977609 16-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

replaced normalise for #1237 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18442 cec4b9c1-7d33-0410-9eda-942365e851bb
b784d6b6e09b41d1e8f038d8dbb013496602319b 15-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

remove leading ./ in spec names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18441 cec4b9c1-7d33-0410-9eda-942365e851bb
9bc4d0dd7425ccce637c5fbad9789b3d9e7e7ff3 14-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

remove suffixes from lib-iris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18440 cec4b9c1-7d33-0410-9eda-942365e851bb
9f7cd2db42cbc88253af8034f8d1fb83e1ecd4cd 14-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

made #1237 work git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18439 cec4b9c1-7d33-0410-9eda-942365e851bb
eec0e8f7d9e320fcd0f4ffb85d053ae1610f9d06 14-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

refactored multi-equation definitions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18437 cec4b9c1-7d33-0410-9eda-942365e851bb
bde6a2df0a0c3673c18c7fd97cde45844a0374da 13-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

simply switched to wget for http and https downloads #1236 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18436 cec4b9c1-7d33-0410-9eda-942365e851bb
5fb883eed77f7f8b65ee01c84068828a52147cbc 13-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

simplified uri check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18298 cec4b9c1-7d33-0410-9eda-942365e851bb
70e5d1e7199cc22d75e5f3498a7cc851cade9a5d 13-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

moved URL mapping up #1210 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18296 cec4b9c1-7d33-0410-9eda-942365e851bb
1e832610999d4f5410f54e43c7c036104536a218 08-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

set HdrAccept for simple http #1205 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18295 cec4b9c1-7d33-0410-9eda-942365e851bb
57ca51af92c915b622ff023bd94b7392620466c4 31-Oct-2013 Christian Maeder <Christian.Maeder@dfki.de>

fixed downloading imports #1177 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18294 cec4b9c1-7d33-0410-9eda-942365e851bb
35b9aa9d38570ebf6c5e1932e004cd027e42cc4b 10-Nov-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

fix relative imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17618 cec4b9c1-7d33-0410-9eda-942365e851bb
5ebfee56d05841289bd263481606d79eeb3a1244 10-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

removed unused argument git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17508 cec4b9c1-7d33-0410-9eda-942365e851bb
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 08-Oct-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

introduced new API for prefixes and applied this to CommonLogic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 cec4b9c1-7d33-0410-9eda-942365e851bb
836feb225976b9f0045fbf2c88b31c6860fb95c4 28-Sep-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

do not prepend directory of the CLIF file before the names of imported files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17451 cec4b9c1-7d33-0410-9eda-942365e851bb
52c81e62d4a3797b926fb3392369b45a9fef336c 13-Aug-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

first version of a KIF serialization parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17182 cec4b9c1-7d33-0410-9eda-942365e851bb
6e4bd72a06da466f4ef81f152ff811a007a7d310 30-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

removed duplicate code and added logic OWL item git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17076 cec4b9c1-7d33-0410-9eda-942365e851bb
0a95e7fe82af62961155f5acaf39dd4d5c9a1003 09-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

added verbosity reading clif files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17015 cec4b9c1-7d33-0410-9eda-942365e851bb
7b2c06587c0e51d5f75e5fc856d164ee92f4ed78 17-May-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

cleaned CommonLogic Code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16850 cec4b9c1-7d33-0410-9eda-942365e851bb
ea39a854498febb718cbdd6035fb935fd145daac 06-Apr-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added DOL-parser, serialization syntax, prefix-map into GlobalAnnotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16768 cec4b9c1-7d33-0410-9eda-942365e851bb
80f76408ce2d0ffab6a118d69a0e460108aa8683 03-Apr-2012 Christian Maeder <Christian.Maeder@dfki.de>

allow to compile without HTTP git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16755 cec4b9c1-7d33-0410-9eda-942365e851bb
ea8e98e298f33f9362293f392c8fb192722b8904 30-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Changed Simple-ID to IRI on Library-, Structure- and Architecture-level git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CMDL/DgCommands.hs /hets/Common/IRI.hs /hets/Common/Keywords.hs /hets/Common/LibName.hs ParseCLAsLibDefn.hs /hets/Driver/WriteFn.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/HolLight/HolLight2DG.hs /hets/LF/Twelf2DG.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Maude/Maude2DG.hs /hets/OMDoc/Import.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/DGFlattening.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/test/ParameterSpecTest/ParamView.xml
d5321a652efd8218c0270681a3e77a82efb65f41 15-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Added HTTP-Code to error message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16733 cec4b9c1-7d33-0410-9eda-942365e851bb
88cd8df76f25018bc76c4820d3072c73b576f0ef 15-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

removed tracing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16732 cec4b9c1-7d33-0410-9eda-942365e851bb
c33df2f183bc3aa84c55abf3cb3ecfe89dfce68a 15-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Fixed URI-support for CL-imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16731 cec4b9c1-7d33-0410-9eda-942365e851bb
3619399179220ec72cefb1e480b568c25c0545ad 15-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

fixed CL range output in sym.xml mode git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16730 cec4b9c1-7d33-0410-9eda-942365e851bb
0ab27b374243432f33886b9f6abfeae3119d360a 08-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

made CL parser read file without handle git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16690 cec4b9c1-7d33-0410-9eda-942365e851bb
8ad26fb4c136282465650215c4e8214bdf65c3d5 07-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

removed CLIF-extension for relations between CL-texts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16689 cec4b9c1-7d33-0410-9eda-942365e851bb
b47b1ea8a412f6e4c731779f6a572384e7cf06d8 24-Jan-2012 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up owl and common logic files types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16630 cec4b9c1-7d33-0410-9eda-942365e851bb
e7c56dd52801632f689ad0986bbae26505d67d7c 22-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow compilation without the HTTP package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16572 cec4b9c1-7d33-0410-9eda-942365e851bb
8f799158edf8b9237c19e1905604b49db722f757 17-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed warnings, scanned and hlinted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16463 cec4b9c1-7d33-0410-9eda-942365e851bb
298cf1492fd48721ce991b70b7744a00ceb0d216 13-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

minor fixes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16285 cec4b9c1-7d33-0410-9eda-942365e851bb
68f9c6ba01f665a9712aae961347ff2ad100806b 12-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

removed unnecessary argument git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16260 cec4b9c1-7d33-0410-9eda-942365e851bb
b032379aad292f99af5969fd63047f059d82a50f 12-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

improved error message regarding cyclic imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16259 cec4b9c1-7d33-0410-9eda-942365e851bb
511b850d18bb857220af057df99edd511b6d1c43 12-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

fixed error message for cyclic imports in Common Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16258 cec4b9c1-7d33-0410-9eda-942365e851bb
86b7223c78c01ece51ed4733b31dd1060366af19 11-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added URI-support for cl-imports in clif-files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16251 cec4b9c1-7d33-0410-9eda-942365e851bb
cba0aeea95db26960d4d2e5a1dd571f17a5b7ae4 11-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Common Logic imports reads in the whole file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16249 cec4b9c1-7d33-0410-9eda-942365e851bb
fc87d273d9d2f73600e50e9ef8ff3cd723a193ab 10-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

further improved text-imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16246 cec4b9c1-7d33-0410-9eda-942365e851bb
2c9c96c8fa8bce365bb56989b10a8b9b227fc95b 08-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

improved text-imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16242 cec4b9c1-7d33-0410-9eda-942365e851bb
4fc20254a56b9ddbf7695749e351636ea0a60d7a 08-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

importation works better now (not yet perfect) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16241 cec4b9c1-7d33-0410-9eda-942365e851bb
b6b71a06c014b9be8e4eed5cd755aceb6ba074a0 05-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added inclusion-metarelation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16234 cec4b9c1-7d33-0410-9eda-942365e851bb
86a7f5f0954e855f14ab2ddbb6ed155e43fe9358 05-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

pp and symbmap fixes, added metarelations to datatype and parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16230 cec4b9c1-7d33-0410-9eda-942365e851bb
c9aea3ddff233893c2a8524fedbb45bf1ba535fb 04-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

restructured CL DevGraph handling git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16227 cec4b9c1-7d33-0410-9eda-942365e851bb
1ea7fb6b0f66210bc0d3cb995f1b655277b33884 30-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

prepared support for segregated dialects git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16207 cec4b9c1-7d33-0410-9eda-942365e851bb
c96c73387a0c41614ba325f737edad6abbf07e79 30-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

fixed symbol maps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16200 cec4b9c1-7d33-0410-9eda-942365e851bb
f6eb05386b068f5968180b21cc225ef0d7d836e7 29-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

first step of metarelation analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16198 cec4b9c1-7d33-0410-9eda-942365e851bb
8247c2f9606497ccfc5b4d10b3fcb07d8c0f6074 27-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

partially fixed pretty printing issue in common logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16186 cec4b9c1-7d33-0410-9eda-942365e851bb
9e7d22a107d0c309cb7ae8665d9ce02823265d72 27-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

fixed make check issue of commonlogic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16184 cec4b9c1-7d33-0410-9eda-942365e851bb
b3138d7e20d2d6dd26a325b844a8b21b0ecbb602 27-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

preparation for supporting metarelations between CL-Texts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16179 cec4b9c1-7d33-0410-9eda-942365e851bb
f4cfe5a1aaa836736b71bc28e98af70e8346068a 26-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

cleaned the code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16173 cec4b9c1-7d33-0410-9eda-942365e851bb
4aeb146e8d730320cd17c273df8e5f1deb23a284 26-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

CL-imports use external libraries now git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16171 cec4b9c1-7d33-0410-9eda-942365e851bb
08e520eb8e9947de926d733c48a13249c857f570 30-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

BASIC_SPEC may contain many TEXTs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16052 cec4b9c1-7d33-0410-9eda-942365e851bb
821f72f69338f16da681cdc07afdc4e45154de1a 23-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added comments git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16005 cec4b9c1-7d33-0410-9eda-942365e851bb
f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30c 23-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

changed BASIC_SPEC to a single TEXT, fixed CL-imports for DevGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16004 cec4b9c1-7d33-0410-9eda-942365e851bb
d5c6ddb570942f686319dcaf6c4b513a033e00ce 18-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Added syntactic sugar support for "roleset" to CLIF parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15985 cec4b9c1-7d33-0410-9eda-942365e851bb
1251551f73228b3bd26dfd0546db98991a22e417 16-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added parseCLAsLibDefn, re-made CL sublogic projections git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15969 cec4b9c1-7d33-0410-9eda-942365e851bb