Activity for Colin Snook
-
Colin Snook modified ticket #787
CoreException: No property tester contributes a property raised repeatedly for EMF editors
-
CoreException: No property tester contributes a property raised repeatedly for EMF editors
-
Project Diagram Plugin Fails
-
Axioms in classtypes not quantified
-
UML-B is no longer supported - we use iUML-B instead
-
Nested elaborated transitions produce conflicting actions
-
UML-B is no longer supported - we use iUML-B instead
-
UML-B - order of features cannot be changed
-
UML-B is no longer supported - we use iUML-B instead
-
UML-B - NPE while editing diagram
-
UML-B is no longer supported - we use iUML-B instead
-
Dark mode in MacOS
-
It does not produce the bsymb.sty file. I am not sure why it does one and not the other. You can get it from Files (https://sourceforge.net/projects/rodin-b-sharp/files/Doc_%20Event%20B%20LaTeX%20style/1.9/)
-
Hi Keith, Yes, it is still available.. I have used it recently. After 'install new software', Look on the Rodin update site (Rodin - http://rodin-b-sharp.sourceforge.net/updates) under the 'Utilities' category... it is called: Event B to LaTeX exporter 0.7.0.201607081834 Colin On 30 Apr 2019, at 08:20, Keith Lander easiwriter@users.sourceforge.net<mailto:easiwriter@users.sourceforge.net> wrote: [support-requests:#31]https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsourceforge.net%2Fp%2Frodin-b-sharp%2Fsupport-requests%2F31%2F&data=01%7C01%7Ccfs%40ecs.soton.ac.uk%7C8f89c9bfac48466ac95b08d6cd3c5eab%7C4a5378f929f44d3ebe89669d03ada9d8%7C0&sdata=bzY2KHczQJvIRIpXxY4P%2BSDNBXKNASXXXBDSVwj9%2Bd8%3D&reserved=0...
-
Hi, In case it is helpful.. I am using jdk-9.0.4 running Rodin and eclipse on Mojave I have to add the following to rodin.ini / eclipse.ini (after -vmargs) --add-modules=ALL-SYSTEM I do not have to specify the java version - i guess it picks the most up to date one? (Folder /Library/Java/JavaVirtualMachines/ contains jdk-9.0.4.jdk plus some older 1.8 versions) This is from the configuration ('about Rodin menu option') -vm /Library/Java/JavaVirtualMachines/jdk-9.0.4.jdk/Contents/Home/bin/../lib/server/libjvm.dylib...
-
iUML-B Documentor 1.0.0
-
CODA Simulator 3.0.1, CODA UI 0.1.1, ORACLE 1.2.1
-
CODA component diagrams 6.0.1
-
iUML-B Class diagrams 2.0.1 (bugfix)
-
CODA UI - 0.1.0
-
CODA components 6.0.0, CODA simulator 2.2.0, Oracle 1.2.0, Regions Decomposition 0.1.0
-
new release of iUML-B
-
Editors misinterpret 'generated = false'
-
release ac.soton.eventb.emf.diagrams.feature/sdk 6.1.100 (bugfix)
-
fix missing trigger guard when trigger raised in refinements before used
-
Improve context trigger set definitions for ProB
-
v0.0.3
-
scxml v0.0.2
-
add suppress warnings to unchecked cast
-
Progress on new translation for prototype release 0.0.2
-
changes for second prototype
-
bugfix: intialise UC flag to False instead of True
-
bugfix: filter event combinations to remove those that include
-
builds for scxml2iumlbb (old) v1.1.3 and scxml.eventb (new) v0.0.1
-
Event-B EMF Extensions V5.4.0 & Event-B EMF Diagrams V6.1.0
-
version 6.1.0 (edit 2.2.3, generator 3.9.0)
-
correction to release history text
-
Scxml Version 0.0.1
-
change version number to 0.0.1 for this prototype
-
change to use rodin license
-
change to generate feature
-
delete local licenses
-
Use rodin license feature and remove local licenses
-
Version 5.4.0 of extensions feature (navigator 4.4.0)
-
remove old licenses
-
use rodin license feature and remove local license
-
Switch to generating features and update to version 5.4.0 of feature
-
log exceptions thrown by translator command
-
1.1.3 release of (old) scxml translator
-
add copyright and comment
-
New UI free API for generate all. Also remove RodinWorkspaceRunnable as
-
update version to 1.1.3.qualifier
-
simplify post processing - use new UI free iUML-B generator API
-
add post processing to generate all diagrams
-
tighten dependency version on generator to 3.9.0
-
Revert "make shell a field so that it is available for pre and post processing"
-
Revert "increase version to 2.2.0.qualifier"
-
partially working version
-
increase version to 2.2.0.qualifier
-
make shell a field so that it is available for pre and post processing
-
add translator documentation
-
correct a comment
-
make composite machine visible in navigator, add manual flatten command
-
fix missing provider name in plugin properties
-
add default extension id constructor
-
use contentTypeBinding for xmb files instead of file extensions
-
add xmb as a content type
-
make test for intra component refs more robust - avoid npe
-
register xmb files with new emfFileExtensions extension point
-
remove post process - flatten.. now done by manual command
-
generate basis machine
-
add menu item for flatten translation, declare .xmc file extension
-
allow emf models to be displayed in the navigator
-
shared-event composition: release 1.7.1
-
release 1.7.1 of shared-event composition plug-in
-
change method of obtaining absolute path to style file
-
delete unused old activator class
-
Decomposition: 1.3.1.release
-
remove dependency on rodin for finding file in bundle.. do it in the plugin activator class
-
Model decomposition release 1.3.1
-
combinations plug-in
-
1.1.2 release
-
Merge branch 'master' of ssh://cfsnook@git.code.sf.net/p/rodin-b-sharp/iUML_B_Utils
-
2.1.1 - Add feature properties notes
-
build translator 2.1.1 and scxml 1.1.2
-
1.1.2.release
-
2.1.0.release - merge and add to feature history
-
fix bug in translation for top level initial parent states
-
update adapter to suit latest version of translator
-
correction to previous commit.. input filter was correct
-
Add gluing invariants into composition machine ...
-
define xmc file extension as composition file
-
improve/change handling of composition file and...
-
print deferred rules on console for no progress...
-
associate rose with xmc file extension
-
any file extension other than bum and buc defau...
-
inclusionFeature is renamed inclusion
-
add facility for attaching pre and post process...
-
Add stack trace printout to exception
-
add post processor to decomposition to invoke f...
1 >