Commits · 1ae31fd41bc85cd4da9dcd893b18a4e9f092041a · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Aug 07, 2012
- Merge branch 'release/2.3.2' · 1ae31fd4
  Jens Bendisposto authored 12 years ago
  
  View commits for tag 2.3.2 2.3.2
  
  1ae31fd4
- bump version numbers · 474acb98
  Jens Bendisposto authored 12 years ago
  
  474acb98
Jul 25, 2012
- implemented table control · 5ad2abeb
  Lukas Ladenberger authored 12 years ago
  
  5ad2abeb
Jul 23, 2012
- removed canister part/figure + corresponding attributes (moved to · 7b0acd23
  Lukas Ladenberger authored 12 years ago
  7b0acd23
- added label to checkbox property · 1786d3be
  Lukas Ladenberger authored 12 years ago
  
  1786d3be
- disabled "replace default value" when setting attributes in observer · a356f382
  Lukas Ladenberger authored 12 years ago
  
  a356f382
- set default size of button control · 2be5c6de
  Lukas Ladenberger authored 12 years ago
  
  2be5c6de
Jul 18, 2012
- correct handling of initial attribute value · 9bb802f7
  Lukas Ladenberger authored 12 years ago
  
  9bb802f7
- fixed bug: problem with editing size and coordinates of cloned controls · 2e9835f9
  Lukas Ladenberger authored 12 years ago
  2e9835f9
- fixed bug in switch coordinates observer: error message was shown when x · 2cd26154
  Lukas Ladenberger authored 12 years ago
  2cd26154
- wired some missing observer with controls · 3a859c90
  Lukas Ladenberger authored 12 years ago
  
  3a859c90
Jul 16, 2012
- Merge branch 'develop' of github.com:bendisposto/prob into develop · 09ce5e0d
  Lukas Ladenberger authored 12 years ago
  
  09ce5e0d
- refactoring + some bugfixes · 17ec35d6
  Lukas Ladenberger authored 12 years ago
  
  17ec35d6
Jul 03, 2012
- distinguish between warnings and errors. · 04b2766e
  Jens Bendisposto authored 12 years ago
  
  04b2766e
- Improved the error message · 68c83fe1
  Jens Bendisposto authored 12 years ago
  
  68c83fe1
Jun 30, 2012
- seems to be a bad idea to fix the warning · 77e49dcf
  Jens Bendisposto authored 12 years ago
  
  77e49dcf
Jun 29, 2012
- Merge remote-tracking branch 'origin/develop' into develop · a2b1d924
  Jens Bendisposto authored 12 years ago
  
  a2b1d924
- fixed warnings · 2b84caad
  Jens Bendisposto authored 12 years ago
  
  2b84caad
- removed individiual jars from build.properties · 042241c9
  Jens Bendisposto authored 12 years ago
  
  042241c9
- typos · c10dffa4
  Jens Bendisposto authored 12 years ago
  
  c10dffa4
Jun 28, 2012
- removed unused variable · 9929e0e0
  Daniel Plagge authored 12 years ago
  
  9929e0e0
- some minor refactoring · 5496c599
  Daniel Plagge authored 12 years ago
  
  5496c599
- replaced deprecated constructor call · 36a942e2
  Daniel Plagge authored 12 years ago
  
  36a942e2
- ignore dependencies · 4387010d
  Jens Bendisposto authored 12 years ago
  
  4387010d
- PROBPLUGIN-35 · ff2b41cf
  Jens Bendisposto authored 12 years ago
  
  ff2b41cf
- add some more information to the exported model · 36e94335
  Jens Bendisposto authored 12 years ago
  
  36e94335
- added EMF location to buildscript · c9a3e2a7
  Jens Bendisposto authored 12 years ago
  
  c9a3e2a7
- added setup info to the readme · 2b629fab
  Jens Bendisposto authored 12 years ago
  
  2b629fab
- Merge remote-tracking branch 'origin/develop' into develop · 3e39d021
  Jens Bendisposto authored 12 years ago
  
  3e39d021
- export mechanism for the new core · d7423698
  Jens Bendisposto authored 12 years ago
  
  d7423698
- new libs · 213de636
  Jens Bendisposto authored 12 years ago
  
  213de636
Jun 27, 2012
- some refactoring + new observer for executing an external groovy script · 83c7dec9
  Lukas Ladenberger authored 12 years ago
  
  83c7dec9
Jun 22, 2012
- re-exported dependency · cf88cc5e
  Lukas Ladenberger authored 12 years ago
  
  cf88cc5e
- Merge branch 'develop' of github.com:bendisposto/prob into develop · 87090461
  Lukas Ladenberger authored 12 years ago
  
  87090461
- fixed bug in creating extension for controls · a6d8fe38
  Lukas Ladenberger authored 12 years ago
  
  a6d8fe38
Jun 21, 2012
- dependencies for de.prob.core · d28e40f2
  Jens Bendisposto authored 12 years ago
  
  d28e40f2
Jun 19, 2012
- Dependencies are now downloaded by Gradle · 2e7fd4a7
  birkhoff authored 12 years ago
  
  2e7fd4a7
Jun 11, 2012
- Merge branch 'develop' of github.com:bendisposto/prob into develop · 30d49399
  Lukas Ladenberger authored 13 years ago
  
  30d49399
- PROBPLUGIN-11: Fixed · 28004ede
  Lukas Ladenberger authored 13 years ago
  
  28004ede
- Merge branch 'develop' of github.com:bendisposto/prob into develop · 7b4aab43
  Daniel Plagge authored 13 years ago
  
  7b4aab43