sternk
commented
10 years ago Comment by kohlhase Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/527#comment:1
re-assigning to till, since I do not know whom to, till, please advise. Also whoever is working on this bug should get write access to the omdoc logics.
Reported by kohlhase and assigned to elena Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/527
look at existing CDs for OMDoc, adapt them or write now ones for the logic in Hets. Also update the CD for CASL. casl.omdoc is the content dictionary that documents the casl HETs-internal symbols. Find it here: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2/examples/logics/casl.omdoc At the moment it only lists the symbols (is this a complete set?), but no documentation (say something quick inline and reference the CASL book). Also we do not have any presentation elements that could be used to derive nice-looking presentations. The CDs for the logics in Hets should be used for a regression test that checks whether OMDoc output by Hets conforms to the principle that all used symbols are correctly declared in a CD.