| changeset 66219 | f037cdaa5ca0 |
| parent 66211 | 100c9c997e2b |
| child 66589 | b884c42694e0 |
| 66218:a30bf1c755c1 | 66219:f037cdaa5ca0 |
|---|---|
1 /* Title: Tools/VSCode/src/build_html.scala |
1 /* Title: Tools/VSCode/src/build_html.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 JavaScript snipptes for VSCode HTML view. |
4 JavaScript snippets for VSCode HTML view. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle.vscode |
7 package isabelle.vscode |
8 |
8 |
9 |
9 |