Index of /~bubel/nightly

 Name                                                             Last modified      Size  Description
 Parent Directory                                                                      -   
 Current-bin.tgz                                                  06-Feb-2012 19:14  5.5M  
 Current-src.tgz                                                  06-Feb-2012 19:14  4.6M  
 KeY-1.3.837_9dd4ae959cc9a538f75d3365b6194ce5e75e0622-src.tgz     17-Mar-2009 20:25  4.0M  
 KeY-1.3.837_9dd4ae959cc9a538f75d3365b6194ce5e75e0622.tgz         17-Mar-2009 20:25  7.0M  
 KeY-1.7.2656_a7c71b437e275b2e81968c72c64dc9119eedb5e9-src.tgz    24-Jan-2012 00:37  3.2M  
 KeY-1.7.2656_a7c71b437e275b2e81968c72c64dc9119eedb5e9.tgz        24-Jan-2012 00:37  5.4M  
 KeY-1.7.2657_a312cbcc065820ac09507cbad313361a1cea36e2-src.tgz    26-Jan-2012 10:11  3.2M  
 KeY-1.7.2657_a312cbcc065820ac09507cbad313361a1cea36e2.tgz        26-Jan-2012 10:11  5.4M  
 KeY-1.7.2658_d82086d01ba7da9e98964b9d869b339eacccebba-src.tgz    27-Jan-2012 21:12  3.2M  
 KeY-1.7.2658_d82086d01ba7da9e98964b9d869b339eacccebba.tgz        27-Jan-2012 21:12  5.4M  
 KeY-1.7.2659_cd86ddcc4e4b5c94a284366b767980f9c1f1317e-src.tgz    27-Jan-2012 23:35  3.2M  
 KeY-1.7.2659_cd86ddcc4e4b5c94a284366b767980f9c1f1317e.tgz        27-Jan-2012 23:35  5.4M  
 KeY-1.7.2689_98617bc2fd4d308e73b0e3866d3f2824edaec12e-src.tgz    02-Feb-2012 13:12  4.6M  
 KeY-1.7.2689_98617bc2fd4d308e73b0e3866d3f2824edaec12e.tgz        02-Feb-2012 13:12  5.5M  
 KeY-1.7.2691_9c10aafc3ef7d5c0f76352f9dae40560cbe25499-src.tgz    06-Feb-2012 19:14  4.6M  
 KeY-1.7.2691_9c10aafc3ef7d5c0f76352f9dae40560cbe25499.tgz        06-Feb-2012 19:14  5.5M  
 README-1.7.2656_a7c71b437e275b2e81968c72c64dc9119eedb5e9-src.txt 24-Jan-2012 00:37  3.8K  
 README-1.7.2656_a7c71b437e275b2e81968c72c64dc9119eedb5e9.txt     24-Jan-2012 00:37  3.4K  
 README-1.7.2657_a312cbcc065820ac09507cbad313361a1cea36e2-src.txt 26-Jan-2012 10:11  3.8K  
 README-1.7.2657_a312cbcc065820ac09507cbad313361a1cea36e2.txt     26-Jan-2012 10:11  3.4K  
 README-1.7.2658_d82086d01ba7da9e98964b9d869b339eacccebba-src.txt 27-Jan-2012 21:12  3.8K  
 README-1.7.2658_d82086d01ba7da9e98964b9d869b339eacccebba.txt     27-Jan-2012 21:12  3.4K  
 README-1.7.2659_cd86ddcc4e4b5c94a284366b767980f9c1f1317e-src.txt 27-Jan-2012 23:35  3.8K  
 README-1.7.2659_cd86ddcc4e4b5c94a284366b767980f9c1f1317e.txt     27-Jan-2012 23:35  3.4K  
 README-1.7.2689_98617bc2fd4d308e73b0e3866d3f2824edaec12e-src.txt 02-Feb-2012 13:12  3.8K  
 README-1.7.2689_98617bc2fd4d308e73b0e3866d3f2824edaec12e.txt     02-Feb-2012 13:12  3.4K  
 README-1.7.2691_9c10aafc3ef7d5c0f76352f9dae40560cbe25499-src.txt 06-Feb-2012 19:14  3.8K  
 README-1.7.2691_9c10aafc3ef7d5c0f76352f9dae40560cbe25499.txt     06-Feb-2012 19:14  3.4K  
 doc/                                                             21-Jan-2010 17:41    -   
 eclipse/                                                         28-Sep-2007 00:54    -   
 logs/                                                            06-Feb-2012 19:14    -   
 webstart/                                                        23-Jun-2008 10:26    -