| Sat, 11 May 2013 16:57:18 +0200 | wenzelm | prefer explicitly qualified exceptions, which is particular important for robust handlers; | file | diff | annotate |
| Fri, 08 Jul 2011 15:17:40 +0200 | wenzelm | standardized String.concat towards implode; | file | diff | annotate |
| Wed, 08 Jun 2011 15:56:57 +0200 | wenzelm | more robust exception pattern General.Subscript; | file | diff | annotate |
| Mon, 10 Jan 2011 15:45:46 +0100 | wenzelm | eliminated Int.toString; | file | diff | annotate |
| Fri, 20 Nov 2009 16:08:14 +0100 | wenzelm | standardized headers; | file | diff | annotate |
| Fri, 20 Nov 2009 18:36:44 +1100 | kleing | WWW_Find component: find_theorems via web browser | file | diff | annotate |