Editors for ProB - Revision history

Jan Gruteser: /* Visual Studio Code */

2025-10-13T11:31:37Z

Visual Studio Code

← Older revision		Revision as of 11:31, 13 October 2025
Line 23:		Line 23:
	A <tt>.vsix</tt> file can be obtained [https://stups.hhu-hosting.de/downloads/vscode_plugin here] (for manual installation).		A <tt>.vsix</tt> file can be obtained [https://stups.hhu-hosting.de/downloads/vscode_plugin here] (for manual installation).
	The plugin adds syntax highlighting and snippets for the specification languages B and Event-B to VS Code.		The plugin adds syntax highlighting and snippets for the specification languages B and Event-B to VS Code.
	It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode\|well-definedness checking]]. There is also support for ProB's [[Rules-DSL\|B Rules-DSL]].		It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode\|well-definedness checking]]. There is also support for ProB's [[Rules-DSL\|Rules-DSL]].

	=== VIM ===		=== VIM ===

Jan Gruteser: /* External Editors */

2025-10-13T11:31:07Z

External Editors

← Older revision		Revision as of 11:31, 13 October 2025
Line 18:		Line 18:

	== External Editors ==		== External Editors ==

	~~=== VIM ===~~

	~~A [https://github.com/bivab/prob.vim VIM plugin for ProB is available].~~
	It shows a quick fix list of parse and type errors for classical B machines (.mch) using the [[Using_the_Command-Line_Version_of_ProB\|command line tool probcli]]. VIM has builtin syntax highlighting support for [https://github.com/vim/vim/blob/master/runtime/syntax/b.vim B].

	=== Visual Studio Code ===		=== Visual Studio Code ===
Line 29:		Line 24:
	The plugin adds syntax highlighting and snippets for the specification languages B and Event-B to VS Code.		The plugin adds syntax highlighting and snippets for the specification languages B and Event-B to VS Code.
	It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode\|well-definedness checking]]. There is also support for ProB's [[Rules-DSL\|B Rules-DSL]].		It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode\|well-definedness checking]]. There is also support for ProB's [[Rules-DSL\|B Rules-DSL]].

			=== VIM ===

			A [https://github.com/bivab/prob.vim VIM plugin for ProB is available].
			It shows a quick fix list of parse and type errors for classical B machines (.mch) using the [[Using_the_Command-Line_Version_of_ProB\|command line tool probcli]]. VIM has builtin syntax highlighting support for [https://github.com/vim/vim/blob/master/runtime/syntax/b.vim B].

	=== Atom ===		=== Atom ===

Jan Gruteser: /* VSCode */

2025-10-13T11:29:51Z

VSCode

← Older revision		Revision as of 11:29, 13 October 2025
Line 24:		Line 24:
	It shows a quick fix list of parse and type errors for classical B machines (.mch) using the [[Using_the_Command-Line_Version_of_ProB\|command line tool probcli]]. VIM has builtin syntax highlighting support for [https://github.com/vim/vim/blob/master/runtime/syntax/b.vim B].		It shows a quick fix list of parse and type errors for classical B machines (.mch) using the [[Using_the_Command-Line_Version_of_ProB\|command line tool probcli]]. VIM has builtin syntax highlighting support for [https://github.com/vim/vim/blob/master/runtime/syntax/b.vim B].

	=== ~~VSCode~~ ===		=== Visual Studio Code ===
	There is a package called [https://github.com/hhu-stups/b-language-extension B/ProB Language Support] available for the ~~VSCode~~ editor.		There is a package called [https://github.com/hhu-stups/b-language-extension B/ProB Language Support] available for the Visual Studio Code (VS Code) editor.
	It adds syntax highlighting and snippets for the specification languages B and Event-B to ~~VSCode~~.		A <tt>.vsix</tt> file can be obtained [https://stups.hhu-hosting.de/downloads/vscode_plugin here] (for manual installation).
	It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode\|well-definedness checking]].		The plugin adds syntax highlighting and snippets for the specification languages B and Event-B to VS Code.
			It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode\|well-definedness checking]]. There is also support for ProB's [[Rules-DSL\|B Rules-DSL]].

	=== Atom ===		=== Atom ===

Michael Leuschel: /* Atom */

2024-03-04T12:03:05Z

Atom

← Older revision		Revision as of 12:03, 4 March 2024
Line 37:		Line 37:
	With the Atom plugin you can now also visualize WD (well-definedness) issues in your B machines. See [https://youtu.be/td7CKFkAvaw this small demo video].		With the Atom plugin you can now also visualize WD (well-definedness) issues in your B machines. See [https://youtu.be/td7CKFkAvaw this small demo video].

	Note that Atom is no longer being updated as of [https://github.blog/2022-06-08-sunsetting-atom/ December 2022]].		Note that Atom is no longer being updated as of [https://github.blog/2022-06-08-sunsetting-atom/ December 2022].

	=== BBEdit ===		=== BBEdit ===

Michael Leuschel: /* Atom */

2024-03-04T12:02:53Z

Atom

← Older revision		Revision as of 12:02, 4 March 2024
Line 36:		Line 36:

	With the Atom plugin you can now also visualize WD (well-definedness) issues in your B machines. See [https://youtu.be/td7CKFkAvaw this small demo video].		With the Atom plugin you can now also visualize WD (well-definedness) issues in your B machines. See [https://youtu.be/td7CKFkAvaw this small demo video].

			Note that Atom is no longer being updated as of [https://github.blog/2022-06-08-sunsetting-atom/ December 2022]].

	=== BBEdit ===		=== BBEdit ===

Michael Leuschel: /* VSCode */

2021-05-03T08:25:38Z

VSCode

← Older revision		Revision as of 08:25, 3 May 2021
Line 27:		Line 27:
	There is a package called [https://github.com/hhu-stups/b-language-extension B/ProB Language Support] available for the VSCode editor.		There is a package called [https://github.com/hhu-stups/b-language-extension B/ProB Language Support] available for the VSCode editor.
	It adds syntax highlighting and snippets for the specification languages B and Event-B to VSCode.		It adds syntax highlighting and snippets for the specification languages B and Event-B to VSCode.
	It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode well-definedness checking]].		It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode\|well-definedness checking]].

	=== Atom ===		=== Atom ===

Michael Leuschel: /* VSCode */

2021-05-03T08:25:25Z

VSCode

← Older revision		Revision as of 08:25, 3 May 2021
Line 27:		Line 27:
	There is a package called [https://github.com/hhu-stups/b-language-extension B/ProB Language Support] available for the VSCode editor.		There is a package called [https://github.com/hhu-stups/b-language-extension B/ProB Language Support] available for the VSCode editor.
	It adds syntax highlighting and snippets for the specification languages B and Event-B to VSCode.		It adds syntax highlighting and snippets for the specification languages B and Event-B to VSCode.
	It integrates with probcli to obtain error markers for syntax and type errors.		It integrates with probcli to obtain error markers for syntax and type errors. It can also be used for [[Well-Definedness_Checking#VSCode well-definedness checking]].

	=== Atom ===		=== Atom ===

Michael Leuschel: /* External Editors */

2020-06-17T08:20:00Z

External Editors

← Older revision		Revision as of 08:20, 17 June 2020
Line 23:		Line 23:
	A [https://github.com/bivab/prob.vim VIM plugin for ProB is available].		A [https://github.com/bivab/prob.vim VIM plugin for ProB is available].
	It shows a quick fix list of parse and type errors for classical B machines (.mch) using the [[Using_the_Command-Line_Version_of_ProB\|command line tool probcli]]. VIM has builtin syntax highlighting support for [https://github.com/vim/vim/blob/master/runtime/syntax/b.vim B].		It shows a quick fix list of parse and type errors for classical B machines (.mch) using the [[Using_the_Command-Line_Version_of_ProB\|command line tool probcli]]. VIM has builtin syntax highlighting support for [https://github.com/vim/vim/blob/master/runtime/syntax/b.vim B].

			=== VSCode ===
			There is a package called [https://github.com/hhu-stups/b-language-extension B/ProB Language Support] available for the VSCode editor.
			It adds syntax highlighting and snippets for the specification languages B and Event-B to VSCode.
			It integrates with probcli to obtain error markers for syntax and type errors.

	=== Atom ===		=== Atom ===

Michael Leuschel: /* Atom */

2020-04-14T10:42:50Z

Atom

← Older revision		Revision as of 10:42, 14 April 2020
Line 29:		Line 29:
	It adds syntax highlighting and snippets for the specification languages B and Event-B to Atom.		It adds syntax highlighting and snippets for the specification languages B and Event-B to Atom.
	It integrates with probcli to obtain error markers for syntax and type errors.		It integrates with probcli to obtain error markers for syntax and type errors.

			With the Atom plugin you can now also visualize WD (well-definedness) issues in your B machines. See [https://youtu.be/td7CKFkAvaw this small demo video].

	=== BBEdit ===		=== BBEdit ===

Dominik Hansen: /* Atom */

2016-07-07T08:28:16Z

Atom

← Older revision		Revision as of 08:28, 7 July 2016
Line 29:		Line 29:
	It adds syntax highlighting and snippets for the specification languages B and Event-B to Atom.		It adds syntax highlighting and snippets for the specification languages B and Event-B to Atom.
	It integrates with probcli to obtain error markers for syntax and type errors.		It integrates with probcli to obtain error markers for syntax and type errors.

	~~A package [[File:ProB-Atom-Package.zip]] for offline installation is available (should be used if you have restrictive proxy).~~

	=== BBEdit ===		=== BBEdit ===