lp:tapaal/1.3

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

113. By Kenneth Yrke Jørgensen on 2010-09-03

possible fix for error where verification is running window is not correctly closed.

112. By Kenneth Yrke Jørgensen on 2010-09-03

Fixed logging usign sysout to use logger framework

111. By Kenneth Yrke Jørgensen on 2010-08-27

Changes debug sysout line to use logging framework

110. By Kenneth Yrke Jørgensen on 2010-08-27

Fixes bug #622134 by adding check for reduction type and
handeling the parsing based on this information.
This is a hack to fix the bug, a rework of the parser code
is needed.

109. By Kenneth Yrke Jørgensen on 2010-05-28

Merged fix for bug #494902 from development version

108. By Kenneth Yrke Jørgensen <kyrke@elia> on 2010-05-07

Changed toolbar panel to jpanel as the menu was drawn behind the panel. It seems to work OK with jpanel

107. By Kenneth Yrke Jørgensen <kyrke@elia> on 2010-05-07

Merged logginframework from developmentversion to trunk

106. By Kenneth Yrke Jørgensen <kyrke@elia> on 2010-05-07

Fixed problem with toolbar not filling screen, by adding a borderlayout

105. By Kenneth Yrke Jørgensen on 2010-05-07

Changed login in toolbar, there are now a toolbar and an drawing toolbar, layouted using a flowlayout.

104. By Kenneth Yrke Jørgensen on 2010-05-07

Fixes issue with query designer radionbuttons beeing grey/white color in the
GTK laf. Change radionbuttons til JRadioButton from JTradioButtonMenuItem