Index of /~kieler/files/


../
documentation/                                     01-Mar-2012 15:25                   -
keith_prototype/                                   15-Oct-2018 13:49                   -
kieler_0.6.0_backup/                               14-Dec-2011 09:59                   -
nightly/                                           16-Apr-2019 13:58                   -
nightly_old/                                       13-Apr-2012 06:38                   -
pldi14/                                            11-Feb-2014 09:13                   -
release_0.7/                                       31-Aug-2012 08:57                   -
release_0.8/                                       01-Mar-2013 15:55                   -
release_kieler_0.9.0/                              28-Feb-2014 13:39                   -
release_pragmatics_0.10.0/                         01-Nov-2013 13:08                   -
release_pragmatics_0.11.0/                         17-Dec-2013 15:34                   -
release_pragmatics_0.9/                            06-Sep-2013 03:15                   -
release_pragmatics_0.9.1/                          06-Sep-2013 11:26                   -
release_pragmatics_2014-05/                        14-Jul-2014 10:24                   -
release_pragmatics_2014-10/                        13-Oct-2014 12:05                   -
release_pragmatics_2014-12/                        11-Dec-2014 14:38                   -
release_pragmatics_2015-02/                        19-Feb-2015 14:37                   -
release_pragmatics_2015-06/                        22-Jun-2015 14:03                   -
release_pragmatics_2016-02/                        09-Feb-2016 16:18                   -
release_sccharts_0.10.0/                           20-Aug-2014 07:12                   -
release_sccharts_0.10.1/                           07-Dec-2015 12:53                   -
release_sccharts_0.11.0/                           29-Sep-2016 14:19                   -
release_sccharts_0.12.0/                           25-Apr-2017 11:54                   -
release_sccharts_0.12.1/                           26-Jul-2017 13:25                   -
release_sccharts_0.12.2/                           06-Sep-2017 08:28                   -
release_sccharts_0.12.2-lustre/                    11-Sep-2017 14:46                   -
release_sccharts_0.13.0/                           12-Sep-2018 08:55                   -
release_sccharts_1.0.0/                            08-Apr-2019 14:44                   -
tools/                                             20-Dec-2013 01:15                   -
kieler-doc_v201003101305.zip                       10-Mar-2010 12:08            20062099
kieler-doc_v201005251422.zip                       25-May-2010 12:26            20274273
kieler-doc_v201008191732.zip                       19-Aug-2010 17:37            29771159
kieler-doc_v201010231521.zip                       23-Oct-2010 13:24            29765046
kieler-doc_v201012011858.zip                       01-Dec-2010 18:01            33704919
kieler-doc_v201107131926.zip                       13-Jul-2011 15:38            19273504
kieler-doc_v201112131752.zip                       09-Dec-2011 13:46            26530684
kieler-doc_v201112141345.zip                       14-Dec-2011 17:29            26516177
kieler-doc_v201112141648.zip                       14-Dec-2011 17:30            26523900
kieler-doc_v201112142005.zip                       14-Dec-2011 17:30            26508466
kieler_0.1.0.v201003101249-linux.gtk.x86.zip       10-Mar-2010 12:05           109499478
kieler_0.1.0.v201003101249-linux.gtk.x86_64.zip    10-Mar-2010 12:06           109610901
kieler_0.1.0.v201003101249-macosx.cocoa.x86.zip    10-Mar-2010 12:06           109431344
kieler_0.1.0.v201003101249-macosx.cocoa.x86_64.zip 10-Mar-2010 12:07           109298397
kieler_0.1.0.v201003101249-solaris.gtk.sparc.zip   10-Mar-2010 12:07           109035137
kieler_0.1.0.v201003101249-win32.win32.x86.zip     10-Mar-2010 12:07           109474724
kieler_0.1.0.v201003101249-win32.win32.x86_64.zip  10-Mar-2010 12:08           109529021
kieler_0.2.0.v201005251400-linux.gtk.x86.zip       25-May-2010 12:23           156825771
kieler_0.2.0.v201005251400-linux.gtk.x86_64.zip    25-May-2010 12:23           156454472
kieler_0.2.0.v201005251400-macosx.cocoa.x86.zip    25-May-2010 12:24           142294170
kieler_0.2.0.v201005251400-macosx.cocoa.x86_64.zip 25-May-2010 12:24           141834776
kieler_0.2.0.v201005251400-solaris.gtk.sparc.zip   25-May-2010 12:25           137849428
kieler_0.2.0.v201005251400-win32.win32.x86.zip     25-May-2010 12:25           146467503
kieler_0.2.0.v201005251400-win32.win32.x86_64.zip  25-May-2010 12:26           141428165
kieler_0.3.0.v201008191712-linux.gtk.x86.zip       19-Aug-2010 17:34           151283919
kieler_0.3.0.v201008191712-linux.gtk.x86_64.zip    19-Aug-2010 17:34           147740990
kieler_0.3.0.v201008191712-macosx.cocoa.x86.zip    19-Aug-2010 17:34           134769806
kieler_0.3.0.v201008191712-macosx.cocoa.x86_64.zip 19-Aug-2010 17:34           134032368
kieler_0.3.0.v201008191712-solaris.gtk.sparc.zip   19-Aug-2010 17:34           133531406
kieler_0.3.0.v201008191712-win32.win32.x86.zip     19-Aug-2010 17:34           138210800
kieler_0.3.0.v201008191712-win32.win32.x86_64.zip  19-Aug-2010 17:34           137440442
kieler_0.3.1.v201010231457-linux.gtk.x86.zip       23-Oct-2010 13:21           151392283
kieler_0.3.1.v201010231457-linux.gtk.x86_64.zip    23-Oct-2010 13:22           147845012
kieler_0.3.1.v201010231457-macosx.cocoa.x86.zip    23-Oct-2010 13:22           134875110
kieler_0.3.1.v201010231457-macosx.cocoa.x86_64.zip 23-Oct-2010 13:23           134141863
kieler_0.3.1.v201010231457-solaris.gtk.sparc.zip   23-Oct-2010 13:23           133638248
kieler_0.3.1.v201010231457-win32.win32.x86.zip     23-Oct-2010 13:23           138659643
kieler_0.3.1.v201010231457-win32.win32.x86_64.zip  23-Oct-2010 13:24           137549342
kieler_0.4.0.v201012011830-linux.gtk.x86.zip       01-Dec-2010 17:59           217764320
kieler_0.4.0.v201012011830-linux.gtk.x86_64.zip    01-Dec-2010 17:59           216164713
kieler_0.4.0.v201012011830-macosx.cocoa.x86.zip    01-Dec-2010 18:00           201957564
kieler_0.4.0.v201012011830-macosx.cocoa.x86_64.zip 01-Dec-2010 18:00           201519373
kieler_0.4.0.v201012011830-solaris.gtk.sparc.zip   01-Dec-2010 18:00           201293561
kieler_0.4.0.v201012011830-win32.win32.x86.zip     01-Dec-2010 18:01           217310186
kieler_0.4.0.v201012011830-win32.win32.x86_64.zip  01-Dec-2010 18:01           204841399
kieler_0.5.0.v201107131903-linux.gtk.x86.zip       13-Jul-2011 15:35           229677275
kieler_0.5.0.v201107131903-linux.gtk.x86_64.zip    13-Jul-2011 15:36           229875361
kieler_0.5.0.v201107131903-macosx.cocoa.x86.zip    13-Jul-2011 15:36           229696435
kieler_0.5.0.v201107131903-macosx.cocoa.x86_64.zip 13-Jul-2011 15:37           229577632
kieler_0.5.0.v201107131903-solaris.gtk.sparc.zip   13-Jul-2011 15:37           229250849
kieler_0.5.0.v201107131903-win32.win32.x86.zip     13-Jul-2011 15:37           229684228
kieler_0.5.0.v201107131903-win32.win32.x86_64.zip  13-Jul-2011 15:38           229671101
kieler_0.6.0.v201112141950-linux.gtk.x86.zip       14-Dec-2011 17:28           261207814
kieler_0.6.0.v201112141950-linux.gtk.x86_64.zip    14-Dec-2011 17:28           261407715
kieler_0.6.0.v201112141950-macosx.cocoa.x86.zip    14-Dec-2011 17:28           261253574
kieler_0.6.0.v201112141950-macosx.cocoa.x86_64.zip 14-Dec-2011 17:28           261127167
kieler_0.6.0.v201112141950-solaris.gtk.sparc.zip   14-Dec-2011 17:28           260773253
kieler_0.6.0.v201112141950-win32.win32.x86.zip     14-Dec-2011 17:28           261345255
kieler_0.6.0.v201112141950-win32.win32.x86_64.zip  14-Dec-2011 17:28           261331054
trafficlight.zip                                   04-May-2009 13:54              524452