Ticket #380 (new task)

Opened 2 years ago

Last modified 16 months ago

add descriptions to Modal, Taxonomy, CASL_DL, OWL_DL, ConstraintCASL, Comorphism modules

Reported by: till Owned by: till
Priority: critical Milestone: 0.95
Component: hets Version: 0.7
Keywords: Cc:

Description

fill in the Description field, for display in http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/daily/Hets/docs/

Change History

Changed 2 years ago by maeder

  • summary changed from add descriptions to CoCASL, COL, CspCASL, ConstraintCASL, Comorphism modules to add descriptions to Modal, Taxonomy, CASL_DL, OWL_DL, ConstraintCASL, Comorphism modules
  • milestone changed from 0.8 to 0.9

Changed 16 months ago by luecke

  • priority changed from major to critical
Note: See TracTickets for help on using tickets.