isabelle: src/Tools/VSCode/README.md@18d383f41477 (annotated)

64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	1	# Isabelle/PIDE for Visual Studio Code editor #
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	2
64696 e991a4fab0dc publish extension on Visual Studio Marketplace; wenzelm parents: 64695 diff changeset	3	## Debug ##
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	4
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	5	* shell> `code src/Tools/VSCode/extension`
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	6
66596 c5bd8267d832 simplified README: this is for development version; wenzelm parents: 65158 diff changeset	7	* Preferences / User settings / edit settings.json: e.g.
c5bd8267d832 simplified README: this is for development version; wenzelm parents: 65158 diff changeset	8	`"isabelle.home": "/home/makarius/isabelle/repos"`
c5bd8267d832 simplified README: this is for development version; wenzelm parents: 65158 diff changeset	9
64605 9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	10	* View / Debug / Launch Extension
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	11
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	12	* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	13
9c1173a7e4cb basic support for VSCode Language Server protocol; wenzelm parents: diff changeset	14
64696 e991a4fab0dc publish extension on Visual Studio Marketplace; wenzelm parents: 64695 diff changeset	15	## Build ##
e991a4fab0dc publish extension on Visual Studio Marketplace; wenzelm parents: 64695 diff changeset	16
65138 64dfee6bd243 added admin tool "isabelle build_vscode"; wenzelm parents: 65060 diff changeset	17	* shell> `isabelle build_vscode`
64740 01af31db2720 proper packaging; wenzelm parents: 64733 diff changeset	18
65158 b87a972b965d tuned; wenzelm parents: 65138 diff changeset	19	* Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix`

author	wenzelm
	Fri, 25 Jan 2019 15:57:24 +0100
changeset 69740	18d383f41477
parent 66596	c5bd8267d832
child 73539	f800f8becbfb
permissions	-rw-r--r--