Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • csp
  • develop default protected
  • feature/csp
  • feature/multiview
  • feature/newcore
  • feature/theory_plugin
  • master protected
  • rodin2
  • rodin3
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
18 results
Created with Raphaël 2.2.09Nov876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr252423201911963229Mar232176528Feb1727Jan2320181714Dec1312530Nov29262524fixed copy/paste controls (correct handling of connections)fixed target definition file (get eclipse related dependencies fromassigned external script observer to railway controlsadded visible/invisible support for connectionsimproved invisible/visible attributenew icons for adjustment actionsimplemented PROBPLUGIN-43fixed PROBPLUGIN-8fixed PROBPLUGIN-47fixed some bugs in railway pluginfixed PROBPLUGIN-39fixed PROBPLUGIN-40fixed PROBPLUGIN-33minor changesminor changestable reacts on visible attribute nowMerge branch 'develop' of github.com:bendisposto/prob into developfixed PROBPLUGIN-44refactoring attribute handlingremoved unused codeset coordinates and size attributes of the light model to invisible andtranslate EMF to own representationadded some copyright informationset background of track node figure to transparentsome minor fixesset background of switch figure to transparentregister de.prob.core as buddyMerge remote-tracking branch 'origin/develop' into developmoved model classesdependencies fixedMerge branch 'develop' of github.com:bendisposto/prob into developfixed PROBPLUGIN-41PROBCORE-152 Working on serialization on the Prob 1 sideAdded Xstream as a dependencyremoved some files + libraries + replaced some old librariesMerge branch 'develop' of github.com:bendisposto/prob into developremoved unused dependencyadded layout policy to signalremoved old xstream library from build.propertiesPROBCORE-152 create the files for serialization instead of emf