Changes in ClTests-Sublogic-ghci-script http://src.iws.cs.ovgu.de/source/rss/hets/CommonLogic/ClTests-Sublogic-ghci-script en Copyright 2005 Java added parser feature: module exclusion lists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15455 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CommonLogic/ClTests-Sublogic-ghci-script - ead7fb0fe5492f65c8e47eaa9d5105bffde163f2 Eugen Kuksa <eugenk@informatik.uni-bremen.de> fixed CommonLogic parser propositional logic issue git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15243 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CommonLogic/ClTests-Sublogic-ghci-script - d53747c386354ff7db8629dfdf20f44a7c4d715d Eugen Kuksa <eugenk@informatik.uni-bremen.de> fixed CommonLogic/Sublogics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15166 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CommonLogic/ClTests-Sublogic-ghci-script - 9a4b469ca0a7f44a598e551a973c75195207db58 Eugen Kuksa <eugenk@informatik.uni-bremen.de> CommonLogic: added DiscourseItems to Sign, added Sublogic.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15116 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CommonLogic/ClTests-Sublogic-ghci-script - bdbe06eab641ea31682220252b728d421e4c028e Eugen Kuksa <eugenk@informatik.uni-bremen.de>