| changeset 56743 | 81370dfadb1d |
| parent 56733 | f7700146678d |
| child 56864 | 0446c7ac2e32 |
| 56737:e4f363e16bdc | 56743:81370dfadb1d |
|---|---|
1 (* Title: Pure/PIDE/markup.ML |
1 (* Title: Pure/PIDE/markup.ML |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Isabelle-specific implementation of quasi-abstract markup elements. |
4 Quasi-abstract markup elements. |
5 *) |
5 *) |
6 |
6 |
7 signature MARKUP = |
7 signature MARKUP = |
8 sig |
8 sig |
9 val parse_bool: string -> bool |
9 val parse_bool: string -> bool |