History log of /hets/HasCASL/test/BasicSpec.hascasl.parser.output
Revision Date Author Comments Expand
dbdb6f53350168e321097373903da2aa2e29b049 24-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

avoid trailing spaces in output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10727 cec4b9c1-7d33-0410-9eda-942365e851bb
3daa82a175c7cfabf22455aa77c4beda327404e4 13-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

treated ':?' and ': ?' identically git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8590 cec4b9c1-7d33-0410-9eda-942365e851bb
749074bf849727439f584139415f6a985a8aa875 29-Jun-2007 Christian Maeder <Christian.Maeder@dfki.de>

improved printing of simple classes and type patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8186 cec4b9c1-7d33-0410-9eda-942365e851bb
011b7807145efa2af0c7470414a96e0133c26dbc 28-Jun-2007 Christian Maeder <Christian.Maeder@dfki.de>

added plural printing for class items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8182 cec4b9c1-7d33-0410-9eda-942365e851bb
395efaeb5bf61bc2bf355c1c029dffa09bc1d1ed 13-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

replaced sortS with typeS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7430 cec4b9c1-7d33-0410-9eda-942365e851bb
341d00318de2d0ea9b6f0ab43f7e4d10ee4fb454 12-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

added support for plural keywords and no indentation after generated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7408 cec4b9c1-7d33-0410-9eda-942365e851bb
32a2f5f00ff72c095b39629101043db4407974f9 08-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

print empty specs and omit semicolons between basic items and after a final class item git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7395 cec4b9c1-7d33-0410-9eda-942365e851bb
359e79584976afb25d37502669a67093a75f3c5b 05-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

short formulas may fit into one line git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7382 cec4b9c1-7d33-0410-9eda-942365e851bb
24f79601ad5e42ce74f4152a36aad257d7c4d7b5 05-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

minimal semicolons git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7377 cec4b9c1-7d33-0410-9eda-942365e851bb
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981c 02-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

only set semicolons after a last formula git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7365 cec4b9c1-7d33-0410-9eda-942365e851bb
a59f2017dfc311ece7afcea3e8a3ceceac77ba5a 01-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

enable re-parsing of printed basic specs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7364 cec4b9c1-7d33-0410-9eda-942365e851bb
9292a012760925eeb69ee23666f70592be6031b6 26-Jan-2007 Christian Maeder <Christian.Maeder@dfki.de>

corrected Pretty Alternative git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7346 cec4b9c1-7d33-0410-9eda-942365e851bb
2f2237571ed7885b0f1ccb2c17996e8922f3d12d 07-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

avoided final spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6780 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/MixfixTerms.casl.output /hets/CASL/test/X1.casl.output /hets/CASL/test/X2.casl.output /hets/CASL/test/X3.casl.output /hets/CASL/test/X4.casl.output /hets/CASL/test/XOver1.casl.output /hets/CASL/test/XTest.casl.output /hets/Common/Doc.hs /hets/Common/test/Annotations.casl.global.output /hets/Common/test/Annotations.casl.output /hets/Common/test/Annotations.casl.perLine.output Alias.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output Constrain.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl.output Terms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
eab576044505ba1fbc64610323053490fbd9e82c 03-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

added topSigKey git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6563 cec4b9c1-7d33-0410-9eda-942365e851bb
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6 22-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

added global annos to signature for pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/AsToLe.hs /hets/HasCASL/Le.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/hacapa.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Lazy.hascasl.output ListEx.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
5a13581acc5a76d392c1dec01657bb3efd4dcf2d 07-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

switched to Common.Doc.Pretty git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6181 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/MixPrint.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output Constrain.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output MixfixTerms.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output Terms.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
a5527685b1e16295384fe03b50f24f54f5859c6b 27-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed output of preceding annos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5728 cec4b9c1-7d33-0410-9eda-942365e851bb
413db961f13e112716509b6d61d7a7bbf50c98b2 30-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

used semiAnno_text instead of semiT_text for more correct printing of annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5113 cec4b9c1-7d33-0410-9eda-942365e851bb
fa1cbc8327acea14fc0117e8e48c5fad2b7fd3fd 08-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

ok with redesign git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4575 cec4b9c1-7d33-0410-9eda-942365e851bb
bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved variance sign to front of kind git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4544 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Kinds.hascasl Kinds.hascasl.output Lazy.hascasl.output ListEx.hascasl ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl.output Prelude.hascasl Prelude.hascasl.output SuperClassErrors.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl WrongKinds.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl YCombinator.hascasl.output ZMapArgs.hascasl.output
48c4688439e0aade4faeebf25ca8b16d661e47af 27-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

improved printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2491 cec4b9c1-7d33-0410-9eda-942365e851bb
76fa667489c5e0868ac68de9f0253ac10f73d0b5 13-Nov-2003 Christian Maeder <Christian.Maeder@dfki.de>

renamed scanWords and scanSigns to scanHC... git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1838 cec4b9c1-7d33-0410-9eda-942365e851bb
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 25-Sep-2003 Christian Maeder <Christian.Maeder@dfki.de>

merge raw-kinds branch with main trunk git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs B1.hascasl B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output Items.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl PossibleDownsetConflict.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl SuperClassErrors.hascasl.output SuperClassWarnings.hascasl SuperClassWarnings.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl.output WrongTerms.hascasl.output XInternal.hascasl XInternal.hascasl.output
fcfed328fae6266214ee61ee7a16fd263fd3cb70 12-Jun-2003 Christian Maeder <Christian.Maeder@dfki.de>

specialized pattern variables and checked for unknown tokens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1497 cec4b9c1-7d33-0410-9eda-942365e851bb
aa60342b6a000c6798730e1b1ddeec846254c62c 05-Jun-2003 Christian Maeder <Christian.Maeder@dfki.de>

disallowed semicolon in patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1472 cec4b9c1-7d33-0410-9eda-942365e851bb
79a3b1a7bf306fdedbeb39f9908d62405f37f385 12-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

treated preds like special ops, made Unit the internal logical type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1380 cec4b9c1-7d33-0410-9eda-942365e851bb
5214cf3742dc626a7efc5ec851db09bf0ff1f579 06-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

recollected tests git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1351 cec4b9c1-7d33-0410-9eda-942365e851bb