228124cdf2560445e7f1b5312476935b51887463 |
|
10-Feb-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Changed the implementation of LF signatures and morphisms to reflect
the MMT schema and permit definitions within signatures.
Implemented the XML parsing of OMDoc and parsing of assignments in
signatures.
-This line, and those below, will be ignored--
M DFOL/Symbol.hs
M LF/Morphism.hs
M LF/Twelf2DG.hs
M LF/Sign.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13057 cec4b9c1-7d33-0410-9eda-942365e851bb |