| Wed, 25 Apr 2012 22:53:35 +0200 | wenzelm | more direct bash process group invocation on Cygwin, bypassing extra sh.exe and perl.exe which tend to crash; | changeset | files |
| Wed, 25 Apr 2012 20:08:33 +0200 | wenzelm | mingw is windows (still inactive); | changeset | files |
| Wed, 25 Apr 2012 19:26:27 +0200 | hoelzl | add Caratheodories theorem for semi-rings of sets | changeset | files |
| Wed, 25 Apr 2012 19:26:00 +0200 | hoelzl | moved lemmas to appropriate places | changeset | files |
| Wed, 25 Apr 2012 17:15:10 +0200 | wenzelm | register polyml executables so that Cygwin rebaseall will see them; | changeset | files |
| Wed, 25 Apr 2012 15:54:36 +0200 | wenzelm | merged | changeset | files |
| Wed, 25 Apr 2012 15:44:26 +0200 | wenzelm | smarter PDF_VIEWER defaults, based on hints by Lars Noschinski; | changeset | files |