Camille Editor - Revision history

imported>Leuschel at 12:22, 27 January 2015

2015-01-27T12:22:38Z

← Older revision		Revision as of 12:22, 27 January 2015
Line 4:		Line 4:

	Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014		Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014

			A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-duesseldorf.de/camille/ http://nightly.cobra.cs.uni-duesseldorf.de/camille/].

	<span style="color:#8B4513">Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!</span>		<span style="color:#8B4513">Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!</span>

imported>Sebastian: update for new camille release and new bug/feature tracker

2014-08-19T08:40:04Z

update for new camille release and new bug/feature tracker

← Older revision		Revision as of 08:40, 19 August 2014
Line 3:		Line 3:
	\|}		\|}

	Camille 2.1.5 for Rodin 2.5 released on ~~27th July 2011~~		Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014

	<span style="color:#8B4513">Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!</span>		<span style="color:#8B4513">Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!</span>
Line 17:		Line 17:
	# Install the TextEditor:		# Install the TextEditor:
	## In the menu choose ''Help'' -> ''Install New Software...''.		## In the menu choose ''Help'' -> ''Install New Software...''.
	~~## If you are using '''Rodin < 2.1''' you need to add the new Camille update site:~~
	~~### Click ''Add...''.~~
	~~### As ''Location'' enter ''http://www.stups.uni-duesseldorf.de/camille_updates''~~
	~~### Enter a name e.g. ''Camille''.~~
	~~### Click ''Ok''.~~
	## Select the site ''Camille - http://www.stups.uni-duesseldorf.de/camille_updates'' in the drop-down list.		## Select the site ''Camille - http://www.stups.uni-duesseldorf.de/camille_updates'' in the drop-down list.
	## Check ''Camille Text Editor''.		## Check ''Camille Text Editor''.
Line 89:		Line 84:
	* Also see the [[TextEditor_EBNF\|EBNF page]] for some restrictions in the syntax.		* Also see the [[TextEditor_EBNF\|EBNF page]] for some restrictions in the syntax.

	==Bugs and ~~Features~~ ==		==Bugs and Feature Requests ==

	~~====Bugs ====~~		Please use the bug tracker at [https://github.com/hhu-stups/camille/issues GitHub] to report any bugs or send us feature requests.
	Please use the bug tracker at [~~http~~://~~sourceforge~~.~~net~~/~~tracker~~/~~?group_id=108850&atid=651669 sourceforge~~] to report any bugs.

	~~====Feature Requests ====~~
	* <del>Add Auto-Formating (i.e., explicit call of the pretty-printer on CMD+SHIFT+F)</del> ''fixed in [[#Version_0.0.6\|version 0.0.6]]''
	* Add other machines/contexts to code completion suggestions when completing after refines/sees
	* Add hovers with additional information, such as the declaring machine/context
	* Add jump-to-declaration action
	* Select complete element (e.g. event) with double- or triple-click (Comment: CTRL+ARROW-UP is used in Eclipse)
	* Lock keywords so they cannot be changed anymore
	* Highlight matching paranthesis
	* Make TextEditor an [http://en.wikipedia.org/wiki/Eierlegende_Wollmilchsau Eierlegende Wollmilchsau]... ;-)
	* [Bosch] Provide folding for Event-B model elements (similar to folding of Java methods)
	* [Bosch] Provide refactoring of Event-B model elements
	* <del>[Bosch, R1] Provide symbol table; see http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/d100429/DEPLOY_082_1th_ReportToolReq.pdf</del> ''fixed in [[#Version_0.0.6\|version 0.0.6]]''
	* Due to the restriction that the editor only accepts labels without whitespaces some models do not parse in the text editor. Informing the user about this problem when opening such a file would be helpful. An alternative is to automatically change labels and replace a whitespace with a '_'. The latter is only reasonable if the user knows what happens (might lose proofs) or ~~when a refactoring is available which preserves proofs~~.
	* Add code completion for labels

	====Comments ====		====Comments ====

imported>Weigelt at 11:55, 2 May 2012

2012-05-02T11:55:42Z

← Older revision		Revision as of 11:55, 2 May 2012
Line 3:		Line 3:
	\|}		\|}

	Camille 2.0.1 for Rodin 2.0 released on ~~October 14th 2010~~		Camille 2.1.5 for Rodin 2.5 released on 27th July 2011

			<span style="color:#8B4513">Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!</span>

	See also: [[Camille_Release_History]]		See also: [[Camille_Release_History]]

imported>Weigelt: /* Installing */

2011-03-08T08:13:36Z

Installing

← Older revision		Revision as of 08:13, 8 March 2011
Line 15:		Line 15:
	# Install the TextEditor:		# Install the TextEditor:
	## In the menu choose ''Help'' -> ''Install New Software...''.		## In the menu choose ''Help'' -> ''Install New Software...''.
	## ~~For~~ Rodin > 2.0 you need the ~~Helios and Galileo~~ update ~~sites~~:		## If you are using '''Rodin < 2.1''' you need to add the new Camille update site:
	### Click ''Add...''.		### Click ''Add...''.
	### As ''Location'' enter ''http://~~download~~.~~eclipse~~.~~org/releases/helios/'' for '''Rodin 2~~.~~0'''. <br> Or ''http:/~~/~~download.eclipse.org/releases/galileo/'' for '''Rodin 2.0.1'~~'' ~~and above.~~		### As ''Location'' enter ''http://www.stups.uni-duesseldorf.de/camille_updates''
	### Enter a name e.g. ''~~Helios Update Site'' or ''Galileo Update Site~~''.		### Enter a name e.g. ''Camille''.
	### Click ''Ok''.		### Click ''Ok''.
	## Select the site ''~~ProB~~ - http://www.stups.uni-duesseldorf.de/~~update~~'' in the drop-down list.		## Select the site ''Camille - http://www.stups.uni-duesseldorf.de/camille_updates'' in the drop-down list.
	## Check ''Camille Text Editor''.		## Check ''Camille Text Editor''.
	## Click ''Next''.		## Click ''Next''.

imported>Weigelt: /* Installing */

2010-11-16T11:12:30Z

Installing

← Older revision		Revision as of 11:12, 16 November 2010
Line 15:		Line 15:
	# Install the TextEditor:		# Install the TextEditor:
	## In the menu choose ''Help'' -> ''Install New Software...''.		## In the menu choose ''Help'' -> ''Install New Software...''.
	## ~~If you use~~ Rodin 2.0 you need ~~to add~~ the Helios update ~~site~~:		## For Rodin > 2.0 you need the Helios and Galileo update sites:
	### Click ''Add...''.		### Click ''Add...''.
	### ~~Enter a name e~~.g. ''~~Helios Update Site~~''.		### As ''Location'' enter ''http://download.eclipse.org/releases/helios/'' for '''Rodin 2.0'''. <br> Or ''http://download.eclipse.org/releases/galileo/'' for '''Rodin 2.0.1''' and above.
	~~### As~~ ''~~Location~~'~~' enter~~ ''http://download.eclipse.org/releases/~~helios~~/''.		### Enter a name e.g. ''Helios Update Site'' or ''Galileo Update Site''.
	### Click ''Ok''.		### Click ''Ok''.
	## Select the site ''ProB - http://www.stups.uni-duesseldorf.de/update'' in the drop-down list.		## Select the site ''ProB - http://www.stups.uni-duesseldorf.de/update'' in the drop-down list.

imported>Weigelt at 17:28, 14 October 2010

2010-10-14T17:28:25Z

← Older revision		Revision as of 17:28, 14 October 2010
Line 3:		Line 3:
	\|}		\|}

	Camille 2.0.~~0 (~~for Rodin 1.~~3.1)~~ released on ~~June 22nd~~ 2010		Camille 2.0.1 for Rodin 2.0 released on October 14th 2010

	See also: [[Camille_Release_History]]		See also: [[Camille_Release_History]]
Line 10:		Line 10:
	The TextEditor relies on features of the Rodin release 1.0 or newer. The following steps will guide you through this process:		The TextEditor relies on features of the Rodin release 1.0 or newer. The following steps will guide you through this process:

	# Download ~~Rodin_1.3~~ for your platform from [http://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/ Sourceforge]		# Download the latest Rodin release for your platform from [http://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/ Sourceforge].
	# Extract the downloaded zip file.		# Extract the downloaded zip file.
	# Start Rodin from the folder where you extracted the zip file in the previous step.		# Start Rodin from the folder where you extracted the zip file in the previous step.
	# Install the TextEditor:		# Install the TextEditor:
	## In the menu choose ''Help'' -> ''Install New Software...''.		## In the menu choose ''Help'' -> ''Install New Software...''.
			## If you use Rodin 2.0 you need to add the Helios update site:
			### Click ''Add...''.
			### Enter a name e.g. ''Helios Update Site''.
			### As ''Location'' enter ''http://download.eclipse.org/releases/helios/''.
			### Click ''Ok''.
	## Select the site ''ProB - http://www.stups.uni-duesseldorf.de/update'' in the drop-down list.		## Select the site ''ProB - http://www.stups.uni-duesseldorf.de/update'' in the drop-down list.
	## Check ''Camille Text Editor''.		## Check ''Camille Text Editor''.

imported>Weigelt at 12:43, 24 June 2010

2010-06-24T12:43:02Z

← Older revision		Revision as of 12:43, 24 June 2010
Line 3:		Line 3:
	\|}		\|}

	Camille 2.0.0 (for Rodin 1.3.1) released on June ~~22th~~ 2010		Camille 2.0.0 (for Rodin 1.3.1) released on June 22nd 2010

	See also: [[Camille_Release_History]]		See also: [[Camille_Release_History]]

imported>Weigelt at 12:39, 24 June 2010

2010-06-24T12:39:00Z

← Older revision		Revision as of 12:39, 24 June 2010
Line 3:		Line 3:
	\|}		\|}

	Camille 1.1.6 (for Rodin 1.3) released on ~~May 5th~~ 2010		Camille 2.0.0 (for Rodin 1.3.1) released on June 22th 2010

	See also: [[Camille_Release_History]]		See also: [[Camille_Release_History]]

imported>Weigelt: /* Bugs and Features */

2010-05-06T09:03:41Z

Bugs and Features

@@ Line 83: / Line 83: @@
 ==Bugs and Features ==
 ====Bugs ====
-* [Systerel] Take into account language changes for rodin 1.0.0 (namely, theorem anywhere, which should impact the EBNF grammar)
+Please use the bug tracker at [http://sourceforge.net/tracker/?group_id=108850&atid=651669 sourceforge] to report any bugs.
 ====Feature Requests ====

imported>Weigelt: /* Bugs */

2010-05-05T16:02:47Z

Bugs

← Older revision		Revision as of 16:02, 5 May 2010
Line 89:		Line 89:
	====Bugs ====		====Bugs ====
	* [Systerel] Take into account language changes for rodin 1.0.0 (namely, theorem anywhere, which should impact the EBNF grammar)		* [Systerel] Take into account language changes for rodin 1.0.0 (namely, theorem anywhere, which should impact the EBNF grammar)
	* [Systerel] [http://sourceforge.net/tracker/?func=detail&aid=2835692&group_id=108850&atid=651669 Text editor (rodin 1.0.0) exception] when opening a recently converted component		* <del>[Systerel] [http://sourceforge.net/tracker/?func=detail&aid=2835692&group_id=108850&atid=651669 Text editor (rodin 1.0.0) exception] when opening a recently converted component</del>
	* [Systerel] [https://sourceforge.net/tracker/?func=detail&aid=2836774&group_id=108850&atid=651669 Text editor (rodin 1.0.0) is unable to save].		* <del>[Systerel] [https://sourceforge.net/tracker/?func=detail&aid=2836774&group_id=108850&atid=651669 Text editor (rodin 1.0.0) is unable to save].</del>
	* [Systerel] java.lang.ArrayStoreException when refine an existing machine via the ''Refines'' item in the popup menu		* <del>[Systerel] java.lang.ArrayStoreException when refine an existing machine via the ''Refines'' item in the popup menu</del>
	* [CETIC] Out of memory exception when inputing a simple machine spec (available on request)		* [CETIC] Out of memory exception when inputing a simple machine spec (available on request)
	* [Soton] Referring to the following bug, on my machine is not only the following but most of B Symbols are not displayed properly. (I have the Text editor 0.0.6 / Rodin 1.0 on a Windows machine)		* [Soton] Referring to the following bug, on my machine is not only the following but most of B Symbols are not displayed properly. (I have the Text editor 0.0.6 / Rodin 1.0 on a Windows machine)