jonaskrask
jonaskrask
The field was not set, tried to allow it 14GB of memory, it didn't get to where the connection closed, but it ate all the memory without providing any responses...
The VS Code/VDMJ combination use around 2.5GB of memory and takes 15 min to complete the evaluation. 
Is it possible to create a jar that has the same package name. E.g. export as "org.overture.interpreter.values.IntergerValue" then that links to the VDMJ lib? I would think that you don't...
List of projects that have jars that needs an update, when we figure out what to do: - [ ] PP/BuslinePP - [ ] PP/BuslinesWithDBPP - [ ] PP/CodegenPP -...
Note: In progress on the server side
Do we want the options to be set at startup or should they be changeable between each invocation?
A button has been added for translate to Isabelle on the client side (development branch) with the language id: "isabelle"
Done, however the jars are not updated, so you will need to do that manually
is the server sending a translate to isabelle capability as with latex, word, etc.? If not, the button will not show
i see.. ups, pushing vsix asap