From: Jens B. <ben...@cs...> - 2009-08-10 09:34:36
|
Hello Ken, you can find the documentation in the wiki (http://wiki.event-b.org/index.php/Text_Editor ) and most likely you will want to have a look at the EBNF (http://wiki.event-b.org/index.php/TextEditor_EBNF ). In particular the EBNF describes where the blocks should be placed (I hope you mean this by layout). The Camille editor uses the same ascii combo as the graphical editor. It replaces the ASCII combo as soon as you stop typing, e.g. if you type x : NAT and you stop typing, it will be replaced by "x ∊ N" as usual. Setting a default editor is possible. Open the eclipse preferences and go to General | Editors | File Association If they don't exist, add The file types "*.bum" and "*.buc". Once you have them in the list of file types, you can select a default editor in the lower part of the screen (see screenshot) Regards, Jens ===== Jens Bendisposto Lehrstuhl für Softwaretechnik und Programmiersprachen, Heinrich Heine Universität Düsseldorf eMail: ben...@cs... Web: http://www.stups.uni-duesseldorf.de Vorstandsmitglied rheinjug e.V. - http://www.rheinjug.de On Aug 10, 2009, at 10:46 AM, Ken Robinson wrote: > Is there any documentation on the text editors? > > I can't see any. > > I thought their use would be "intuitive", but I'm finding that isn't > so. > > I don't want to ask a lot of questions here in case there is > documentation somewhere, but here are a couple of questions: > > The EventB text editor doesn't seem to use the ascii sequences for > EventB symbols? > > The EventB editors and the text editor don't seem to do consistent > things with the layout of the machines? > > Can a default editor be specified? When I simply say edit, I get the > text editor, which I wouldn't mind if I could get it to work > "properly", but for the moment I am wanting to stick with the context > or machine editors. > > Thanks for any enlightenment, and apologies if I am blind. > > Cheers, > > Ken > > ------------------------------------------------------------------------------ > Let Crystal Reports handle the reporting - Free Crystal Reports 2008 > 30-Day > trial. Simplify your report design, integration and deployment - and > focus on > what you do best, core application coding. Discover what's new with > Crystal Reports now. http://p.sf.net/sfu/bobj-july > _______________________________________________ > Rodin-b-sharp-user mailing list > Rod...@li... > https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user |