started dol only parsing
layout change only
added IntrDefn
a grammar parser and printer for DOL from OMG_OntoIOp_current.tex
added some analysis
added %wdef
shortened code
ExcludeExtension is not optional
just cleaned up
added extraction
cleaned up only
extended and corrected grammar
noticed that symbols are now space separated
version after https://github.com/tillmo/DOL/commit/5a01087ebc0f6c4f7c1b5ffd90137e53120ec885
accidentally removed Network from Refinement
switch to CURIEs and IRI _references_ in angles
join refinement and view
inserted space before =
the range of iris is computed differently
Merge pull request #1387 from spechub/1366-dol_parsing

1366 dol parsing