Commits · feature/csp · general / stups / ProB Rodin Plugin

Dec 14, 2011
- merged · db2ef794
  Jens Bendisposto authored 13 years ago
  
  db2ef794
Dec 13, 2011
- fixed bug (Checkboxes return into their original state immediately after... · d6b1a47c
  Lukas Ladenberger authored 13 years ago
  d6b1a47c
- merge conflict · ce39d328
  Lukas Ladenberger authored 13 years ago
  
  ce39d328
- merge conflict · 6356dacd
  Lukas Ladenberger authored 13 years ago
  6356dacd
- removed sysoutprint · 3c1f1a9b
  Lukas Ladenberger authored 13 years ago
  
  3c1f1a9b
- fixed some further bugs (checkbox and radiobutton behaviour) · 6e78ad9f
  Lukas Ladenberger authored 13 years ago
  
  6e78ad9f
Dec 12, 2011
- fixed bug (checkbox and radiobutton behaviour) · 7f1eb515
  Lukas Ladenberger authored 13 years ago
  
  7f1eb515
Dec 05, 2011
- added website · b8e3728b
  Jens Bendisposto authored 13 years ago
  
  b8e3728b
- fixed licence · 3cf0f4bc
  Jens Bendisposto authored 13 years ago
  
  3cf0f4bc
Nov 30, 2011
- changed min version number in order to work with some older version of rodin · 44918723
  Lukas Ladenberger authored 13 years ago
  
  44918723
Nov 29, 2011
- stupid dependency removed · 931fce36
  Jens Bendisposto authored 13 years ago
  
  931fce36
- new version numbers · ea0c8726
  Lukas Ladenberger authored 13 years ago
  
  ea0c8726
- DON'T IGNORE @^%$&^%$% settings · 3de1dae3
  Jens Bendisposto authored 13 years ago
  
  3de1dae3
- created dummy editors for event-b machine + context files and for · 7b328ba8
  Lukas Ladenberger authored 13 years ago
  7b328ba8
Nov 26, 2011
- improved prob navigator · 799ca685
  Lukas Ladenberger authored 13 years ago
  
  799ca685
Nov 25, 2011
- csp loader · 9c18d3c5
  Jens Bendisposto authored 13 years ago
  
  9c18d3c5
- Announce reset · d9568531
  Jens Bendisposto authored 13 years ago
  
  d9568531
- fixed null pointer exception for languages other than Event-B · d28b6eb5
  Jens Bendisposto authored 13 years ago
  
  d28b6eb5
Nov 24, 2011
- initial import · b74df020
  Jens Bendisposto authored 13 years ago
  
  b74df020
- setup ignore file · f48d9f0e
  Jens Bendisposto authored 13 years ago
  
  f48d9f0e
- Cleanup project & readme · fcc4574e
  Jens Bendisposto authored 13 years ago
  
  fcc4574e
- Merge pull request #1 from ladenberger/master · 9b2ab089
  dplagge authored 13 years ago
  9b2ab089
- lukas change! · df4061e0
  Lukas Ladenberger authored 13 years ago
  
  df4061e0
- test · 3f706115
  Daniel Plagge authored 13 years ago
  
  3f706115
- import · 8beb3c2a
  Jens Bendisposto authored 13 years ago
  
  8beb3c2a

Admin message