Commits · d5d58a2f1e16d10c7ed27e948823c849de49ff7c · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Aug 22, 2012
- added new file · d5d58a2f
  Lukas Ladenberger authored Aug 22, 2012
  
  d5d58a2f
- deleted file · a650f8f7
  Lukas Ladenberger authored Aug 22, 2012
  
  a650f8f7
- set transparency to column and table · 1574e61e
  Lukas Ladenberger authored Aug 22, 2012
  
  1574e61e
- better selection of table widget · adde4ee9
  Lukas Ladenberger authored Aug 22, 2012
  
  adde4ee9
- Merge branch 'develop' of github.com:bendisposto/prob into develop · 0dafa7fe
  Lukas Ladenberger authored Aug 22, 2012
  
  0dafa7fe
- better handling of columns in tables · 180e02d8
  Lukas Ladenberger authored Aug 22, 2012
  
  180e02d8
- changed "Observers" menu label to "Observer" · d7cad032
  Lukas Ladenberger authored Aug 22, 2012
  
  d7cad032
Aug 21, 2012
- working on table + corresponding observer · 8e72a001
  Lukas Ladenberger authored Aug 21, 2012
  
  8e72a001
- flushDependencies, and deleteFromClassPath tasks added, but still needs to be tested properly · aaa4e6cb
  birkhoff authored Aug 21, 2012
  
  aaa4e6cb
- fix: set correct width of cell after increasing the number of rows of a · 0624da31
  Lukas Ladenberger authored Aug 21, 2012
  0624da31
- added resize feautre for table cells and columns · d7445ef4
  Lukas Ladenberger authored Aug 21, 2012
  
  d7445ef4
Aug 20, 2012
- working on table control + observer · ceff72de
  Lukas Ladenberger authored Aug 20, 2012
  
  ceff72de
- added table observer for relations · da4c5bd7
  Lukas Ladenberger authored Aug 20, 2012
  
  da4c5bd7
- improved table observer · 6a4749ba
  Lukas Ladenberger authored Aug 20, 2012
  
  6a4749ba
- Merge remote-tracking branch 'origin/develop' into develop · a9199f2c
  Jens Bendisposto authored Aug 20, 2012
  
  a9199f2c
- fixed PROBPLUGIN-38 · c7fcb9a1
  Jens Bendisposto authored Aug 20, 2012
  
  c7fcb9a1
Aug 17, 2012
- Merge branch 'develop' of github.com:bendisposto/prob into develop · ad5ecbed
  Lukas Ladenberger authored Aug 17, 2012
  
  ad5ecbed
- set project folder textfield to not editable + changed some labels · c22658ff
  Lukas Ladenberger authored Aug 17, 2012
  
  c22658ff
Aug 14, 2012
- fixed classpath task Please DO NOT RUN GRADLE ECLIPSE! · 19cb64ed
  birkhoff authored Aug 14, 2012
  
  19cb64ed
Aug 07, 2012
- Merge remote-tracking branch 'origin/develop' into develop · 267d647a
  Jens Bendisposto authored Aug 7, 2012
  
  267d647a
- Merge branch 'release/2.3.2' into develop · bd53d528
  Jens Bendisposto authored Aug 7, 2012
  
  bd53d528
- bump version numbers · 474acb98
  Jens Bendisposto authored Aug 7, 2012
  
  474acb98
Aug 06, 2012
- collectDependencies won't trigger gradle eclipse anymore · fe84c959
  birkhoff authored Aug 6, 2012
  
  fe84c959
- current Buildscript · 70109004
  birkhoff authored Aug 6, 2012
  
  70109004
- aktuelles Build Script, welches auch von Lukas benutzt wird · 8f846aca
  birkhoff authored Aug 6, 2012
  
  8f846aca
Aug 03, 2012
- increased version number from org.rodinp.core to exclusive 1.7.0 (needed · f9fcc74a
  Lukas Ladenberger authored Aug 3, 2012
  f9fcc74a
Jul 30, 2012
- error in de.prob.core/build.gradle · 5e631a65
  birkhoff authored Jul 30, 2012
  
  5e631a65
- new structure of the build. Script is not anymore in the .releng folder, but... · 2566d483
  birkhoff authored Jul 30, 2012
  2566d483
Jul 25, 2012
- implemented table control · 5ad2abeb
  Lukas Ladenberger authored Jul 25, 2012
  
  5ad2abeb
Jul 23, 2012
- removed canister part/figure + corresponding attributes (moved to · 7b0acd23
  Lukas Ladenberger authored Jul 23, 2012
  7b0acd23
- added label to checkbox property · 1786d3be
  Lukas Ladenberger authored Jul 23, 2012
  
  1786d3be
- disabled "replace default value" when setting attributes in observer · a356f382
  Lukas Ladenberger authored Jul 23, 2012
  
  a356f382
- set default size of button control · 2be5c6de
  Lukas Ladenberger authored Jul 23, 2012
  
  2be5c6de
Jul 18, 2012
- correct handling of initial attribute value · 9bb802f7
  Lukas Ladenberger authored Jul 18, 2012
  
  9bb802f7
- fixed bug: problem with editing size and coordinates of cloned controls · 2e9835f9
  Lukas Ladenberger authored Jul 18, 2012
  2e9835f9
- fixed bug in switch coordinates observer: error message was shown when x · 2cd26154
  Lukas Ladenberger authored Jul 18, 2012
  2cd26154
- wired some missing observer with controls · 3a859c90
  Lukas Ladenberger authored Jul 18, 2012
  
  3a859c90
Jul 16, 2012
- Merge branch 'develop' of github.com:bendisposto/prob into develop · 09ce5e0d
  Lukas Ladenberger authored Jul 16, 2012
  
  09ce5e0d
- refactoring + some bugfixes · 17ec35d6
  Lukas Ladenberger authored Jul 16, 2012
  
  17ec35d6
Jul 03, 2012
- distinguish between warnings and errors. · 04b2766e
  Jens Bendisposto authored Jul 3, 2012
  
  04b2766e