forked from Isabelle_DOF/Isabelle_DOF
Possesses Hook in order to parse meta attributes (not set so far, default no-parse to empty string). Current config compiles IsaDofApplications except Text*. |
||
---|---|---|
.. | ||
thy_output.ML |
Possesses Hook in order to parse meta attributes (not set so far, default no-parse to empty string). Current config compiles IsaDofApplications except Text*. |
||
---|---|---|
.. | ||
thy_output.ML |