Cross Reference: /hets/Logic/PrintLogics.hs

History log of /hets/Logic/PrintLogics.hs
Revision	Date	Author	Comments Expand
cb59d130670156fb8899feca481cc6df0f0b73b5	18-Nov-2017	Till Mossakowski <till@iws.cs.ovgu.de>	use intercalate PrintLogics.hs
65853214a355ddc2fc7e4f1edc5ee8d05947b84a	14-Oct-2017	Till Mossakowski <till@iws.cs.ovgu.de>	added short_description as a method of type class Logic Logic.hs PrintLogics.hs
31bc219bae758272d0f064281b8ce7740a4553e9	14-Oct-2017	Till Mossakowski <till@iws.cs.ovgu.de>	new Hets option -z for printing logic list /hets/Driver/Options.hs PrintLogics.hs /hets/hets.hs
cdcf5d3f1e79d8798d77efa29e6193af94ea0604	14-Oct-2017	Till Mossakowski <till@iws.cs.ovgu.de>	adjusted stabilities /hets/CASL_DL/Logic_CASL_DL.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CspCASL/Logic_CspCASL.hs /hets/ExtModal/Logic_ExtModal.hs /hets/Fpl/Logic_Fpl.hs /hets/HasCASL/Logic_HasCASL.hs PrintLogics.hs /hets/Modal/Logic_Modal.hs /hets/OWL2/Logic_OWL2.hs /hets/Propositional/Logic_Propositional.hs /hets/QBF/Logic_QBF.hs /hets/RDF/Logic_RDF.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/TPTP/Logic_TPTP.hs /hets/VSE/Logic_VSE.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868	14-Oct-2017	Till Mossakowski <till@iws.cs.ovgu.de>	module for printing the list of logics, sorted by stability PrintLogics.hs