--- a/src/Tools/VSCode/src/symbols.scala Tue Mar 07 10:52:04 2017 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,55 +0,0 @@
-/* Title: Tools/VSCode/src/symbols.scala
- Author: Makarius
-
-Generate configuration for VSCode editor extension Prettify Symbols Mode.
-*/
-
-package isabelle.vscode
-
-
-import isabelle._
-
-
-object Symbols
-{
- /* generate configuration */
-
- def prettify_config: String =
- """{
- "prettifySymbolsMode.substitutions": [
- {
- "language": "isabelle",
- "revealOn": "none",
- "adjustCursorMovement": true,
- "substitutions": [""" +
- (for ((s, c) <- Symbol.codes)
- yield
- JSON.Format(
- Map("ugly" -> Library.escape_regex(s),
- "pretty" -> Library.escape_regex(Codepoint.string(c)))))
- .mkString("\n ", ",\n ", "") +
- """]
- }
- ]
-}"""
-
-
- /* Isabelle tool wrapper */
-
- val isabelle_tool = Isabelle_Tool("vscode_symbols",
- "generate configuration for VSCode Prettify Symbols Mode", args =>
- {
- val getopts = Getopts("""
-Usage: isabelle vscode_symbols
-
- Generate configuration for VSCode editor extension Prettify Symbols Mode.
-""")
-
- val more_args = getopts(args)
- if (more_args.nonEmpty) getopts.usage()
-
- val output_path = Path.explode("isabelle-symbols.json")
- Output.writeln(output_path.implode)
- File.write_backup(output_path, prettify_config)
- })
-}