~tapaal-contributor/tapaal/Gui-freeze-1896457

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-01-18 11:11:57 UTC
  • Revision ID: mail@yrke.dk-20110118111157-5mk7tw9y1dx2683d
Tags: tapaal-1.4.0
Changed QueryDialog to select the (general case) fastest reduction method avialiable on query type change
Filename Latest Rev Last Changed Committer Comment Size
..
dk 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn Diff
Example nets 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn Diff
Images 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn Diff
pipe 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn Diff
xslt 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn Diff
.bzrignore 226 13 years ago Morten Jacobsen ignored the bin/ directory so it does not show up 42 bytes Diff Download File
CmdTranslator.java 224.1.8 13 years ago Lasse Jacobsen - changed query construction part of query dialog 7.3 KB Diff Download File
commons-cli-1.2.jar 328 13 years ago Kenneth Yrke Jørgensen Added a new luncher class with support for command 40.1 KB Diff Download File
GOLDEngine.jar 254 13 years ago Lasse Jacobsen -added parsing of string representation of queries 28.5 KB Diff Download File
gtkjfilechooser.jar 340 13 years ago Kenneth Yrke Joergensen Changed to use gtkfilechooser in GTK look and feel 219 KB Diff Download File
jpowergraph-0.2-common.jar 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn 221 KB Diff Download File
jpowergraph-0.2-swing.jar 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn 92.7 KB Diff Download File
Makefile 96.1.7 14 years ago Kenneth Yrke Jørgensen Changed the jFileChooser look and feel when using 3.5 KB Diff Download File
Makefile.org 96.1.2 14 years ago Kenneth Yrke Jørgensen Updated makefile and removed debian control stuff 7.1 KB Diff Download File
README 7 15 years ago Kenneth Yrke Jørgensen updated readme file with latest information about 660 bytes Diff Download File
File run-unix 4 15 years ago Kenneth Yrke Jørgensen Added makefile for deb package building 44 bytes Diff Download File
RunGui.java 1 15 years ago Kenneth Yrke Jørgensen Added tapaal-1.0 from svn 243 bytes Diff Download File
TAPAAL.java 341 13 years ago Morten Jacobsen fixes bug #696487 1.7 KB Diff Download File