e46d78f7c6324ed9f1a191d46b6e5732e61e1835 |
|
25-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
changeover to reveal hidden symbols for nodes via ToXml. Hidden symbols are now stored in DGOrigin using the DGRestriction Case. Also, DGLocal has been replaced with DGRestriction in AnalysisStructured for Local_Spec.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15310 cec4b9c1-7d33-0410-9eda-942365e851bb |