# HG changeset patch
# User wenzelm
# Date 1484147499 -3600
# Node ID ee5aaf7bce0db4742a73b8780084fd9f7dd12990
# Parent  9c194386db8db360bc2dbdeea3393282c84e3e80
more documentation;

diff -r 9c194386db8d -r ee5aaf7bce0d src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Wed Jan 11 16:01:19 2017 +0100
+++ b/src/Tools/VSCode/extension/README.md	Wed Jan 11 16:11:39 2017 +0100
@@ -13,3 +13,13 @@
   * `isabelle.home` points to the main Isabelle directory (ISABELLE_HOME).
   * `isabelle.cygwin_root` (on Windows) points to the Cygwin installation,
     e.g. ISABELLE_HOME/cygwin for a regular Isabelle application bundle.
+
+
+## Isabelle symbols ##
+
+Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
+Symbols Mode. It needs to be configured manually as follows:
+
+ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
+configuration (generated via `isabelle vscode_symbols`). Its content needs to
+be copied carefully into the regular VSCode User Preferences.