isabelle: src/Tools/VSCode/extension/README.md@65a68dcd95c3 (annotated)

64757 7e3924224769 updated package; wenzelm parents: 64605 diff changeset	1	# Isabelle Prover IDE support
7e3924224769 updated package; wenzelm parents: 64605 diff changeset	2
7e3924224769 updated package; wenzelm parents: 64605 diff changeset	3	This extension connects to the Isabelle Prover IDE infrastructure, using the
7e3924224769 updated package; wenzelm parents: 64605 diff changeset	4	VSCode Language Server protocol. This requires a recent development version of
7e3924224769 updated package; wenzelm parents: 64605 diff changeset	5	Isabelle from 2017, see also:
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	6
64757 7e3924224769 updated package; wenzelm parents: 64605 diff changeset	7	* http://isabelle.in.tum.de/devel
7e3924224769 updated package; wenzelm parents: 64605 diff changeset	8	* http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode
7e3924224769 updated package; wenzelm parents: 64605 diff changeset	9
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	10
64757 7e3924224769 updated package; wenzelm parents: 64605 diff changeset	11	## Important User Settings ##
7e3924224769 updated package; wenzelm parents: 64605 diff changeset	12
64948 e655d965307c tuned; wenzelm parents: 64873 diff changeset	13	* On Linux and Mac OS X: `isabelle.home` points to the main Isabelle
e655d965307c tuned; wenzelm parents: 64873 diff changeset	14	directory (`$ISABELLE_HOME`).
e655d965307c tuned; wenzelm parents: 64873 diff changeset	15
e655d965307c tuned; wenzelm parents: 64873 diff changeset	16	* On Windows: `isabelle.home` as above, but in Windows path notation with
e655d965307c tuned; wenzelm parents: 64873 diff changeset	17	drive-letter and backslashes.
e655d965307c tuned; wenzelm parents: 64873 diff changeset	18
64873 ee5aaf7bce0d more documentation; wenzelm parents: 64757 diff changeset	19
ee5aaf7bce0d more documentation; wenzelm parents: 64757 diff changeset	20	## Isabelle symbols ##
ee5aaf7bce0d more documentation; wenzelm parents: 64757 diff changeset	21
66070 65a68dcd95c3 dynamic configuration of prettify-symbols-mode, similar to VSCoq; wenzelm parents: 65172 diff changeset	22	Isabelle symbols like `\<forall>` are rendered using the extension "Prettify
65a68dcd95c3 dynamic configuration of prettify-symbols-mode, similar to VSCoq; wenzelm parents: 65172 diff changeset	23	Symbols Mode", which needs to be installed separately.

author	wenzelm
	Mon, 12 Jun 2017 15:40:40 +0200
changeset 66070	65a68dcd95c3
parent 65172	365e97f009ed
child 66218	a30bf1c755c1
permissions	-rw-r--r--