304N/APlan and priority list for CoFI tool activities

304N/A

304N/Amost things have been moved to the new bug tracking system

304N/A

911N/Asee http://trac.informatik.uni-bremen.de:8080/hets

851N/A

304N/A************************************************

304N/AKlaus

304N/A************************************************

304N/A

304N/Atrace if liniarity of sentences along development is given

304N/A

304N/A

304N/A

304N/A

304N/ABitte auch aus folgenden Files die todo-Listen nach Trac verschieben:

304N/A

304N/AComorphisms/CASL2SPASS.hs:{- todo

304N/AComorphisms/KnownProvers.hs:{- todo:

304N/AComorphisms/Modal2CASL.inline.hs: todo:

304N/AOWL_DL/Logic_OWL_DL.hs:{- todo:

304N/AOWL_DL/Print.hs: todo:

304N/AOWL_DL/ReadWrite.der.hs:{- todo:

304N/AOWL_DL/ReadWrite.hs:{- todo:

304N/AOWL_DL/StructureAna.hs: -- TODO: check if gEmbed (Logic.Grothendieck) and G_morphism

304N/AGUI/ProofManagement.hs: todo:

304N/AGUI/ProofManagement.hs: -- TODO: do something with the resulting G_theory before returning it?

304N/AGUI/hets_cgi.hs: todo:

304N/ASPASS/DFGParser.hs:quantification s = do (ts',t') <- parens (do ts <- squares (commaSep1 term) -- todo: var binding should allow only simple terms

304N/ASPASS/PrintTPTP.hs:{- todo:

304N/ASPASS/Logic_SPASS.hs: is_subsig SoftFOL = const $ const True -- TODO!!

304N/ATaxonomy/MMiSSOntology.hs: todo: add a new edge type for equivalence which should be visited only once

304N/ACommon/LaTeX_funs.hs: TODO:

304N/ACommon/LaTeX_funs.hs: -- TODO: Build a nice correction map

304N/ACommon/Utils.hs: Todo:

493N/ALogic/Prover.hs:{- todo:

304N/A

304N/A

851N/A

304N/A