| Commit | Date | |
|---|---|---|
|
[r578]
by
wolf
Modified Files: |
2003-02-06 15:09:09 | Tree |
|
[r577]
by
conner
Added the binary libs Added Files: |
2003-02-05 15:02:35 | Tree |
| 2003-02-05 15:00:26 | Tree | |
| 2003-02-05 15:00:26 | Tree | |
| 2003-02-05 15:00:25 | Tree | |
|
[r573]
by
keidel
Fixed a bug in DefaultQuantifierPolicy.java. Modified Files: |
2003-02-03 18:32:35 | Tree |
|
[r572]
by
conner
Hopefully fixed finish dialog size Modified Files: |
2003-01-30 12:04:51 | Tree |
|
[r571]
by
conner
Fixed the DummyExamServer and did some general clean up work. Modified Files: |
2003-01-30 09:57:35 | Tree |
|
[r570]
by
keidel
Removed a dot (.) in front of a filename. Filename is now visible. Modified Files: |
2003-01-28 16:54:15 | Tree |
| 2003-01-24 14:54:20 | Tree |