From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu |
|
Line 1: |
Line 1: |
− | <noinclude>
| + | |
− | == Displayed as follow on the Main Page ==
| |
− | <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
| |
− | </noinclude><!--- News to add here below : ==== --->
| |
− | * 24/02/09: Shared Event Composition plug-in updated to Rodin version 0.9.2.1
| |
− | * 18/02/09: [http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714&release_id=662133 Rodin platform 0.9.2.1] released ([http://sourceforge.net/project/shownotes.php?release_id=662133&group_id=108850 changelog])
| |
− | * 09/02/09: [http://sourceforge.net/tracker2/?func=detail&aid=2564269&group_id=108850&atid=651669 Fix Bug] Collapse all doesn't work
| |
− | * 30/01/09: [http://sourceforge.net/tracker2/index.php?func=detail&aid=2543191&group_id=108850&atid=651672 Context renaming]
| |
− | * 23/01/09: [http://sourceforge.net/tracker2/index.php?func=detail&aid=2528658&group_id=108850&atid=651672 editor : different color for comments]
| |
− | * 22/01/09: [http://sourceforge.net/tracker2/?func=detail&aid=2510121&group_id=108850&atid=651669 Fix Bug] CTRL+S doesn't always work
| |
− | * 09/01/09: [http://sourceforge.net/tracker2/?func=detail&aid=2510121&group_id=108850&atid=651669 Fix Bug] Event-B editor jump at the top when gaining focus
| |
− | * 09/01/09: [http://sourceforge.net/tracker2/?func=detail&aid=2417413&group_id=108850&atid=651669 Fix Bug] Scroll-wheel modifies combo values
| |
− | <noinclude>
| |
− | </div>
| |
− | [[Category:Main page templates]]
| |
− | </noinclude>
| |
Latest revision as of 20:49, 30 April 2020