| Fri, 28 Aug 2009 18:19:07 +0200 | wenzelm | removed obsolete print_ctyp, print_cterm; | changeset | files |
| Fri, 28 Aug 2009 18:18:30 +0200 | wenzelm | modernized messages -- eliminated old Display.print_cterm; | changeset | files |
| Fri, 28 Aug 2009 17:07:15 +0200 | wenzelm | SAT_Examples: removed obsolete Future.shutdown() workaround -- internal exception propagation should now work reliably; | changeset | files |
| Fri, 28 Aug 2009 11:31:49 +0200 | wenzelm | misc updates and tuning; | changeset | files |
| Fri, 28 Aug 2009 10:52:44 +0200 | wenzelm | PDF_VIEWER: more Unix-ish behaviour on Mac OS; | changeset | files |
| Thu, 27 Aug 2009 18:45:58 +0200 | nipkow | merged | changeset | files |
| Thu, 27 Aug 2009 18:45:39 +0200 | nipkow | New example: IMP | changeset | files |