| Sun, 12 May 2013 14:25:16 +0200 | wenzelm | decentralized historic settings; | file | diff | annotate |
| Sat, 11 May 2013 16:57:18 +0200 | wenzelm | prefer explicitly qualified exceptions, which is particular important for robust handlers; | file | diff | annotate |
| Tue, 15 Jan 2013 17:28:46 +0100 | wenzelm | avoid handling arbitrary exceptions, notably physical interrupts that would make the program erratic; | file | diff | annotate |
| Fri, 13 Apr 2012 14:00:26 +0200 | wenzelm | updated headers; | file | diff | annotate |
| Sat, 17 Mar 2012 12:52:40 +0100 | wenzelm | renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP; | file | diff | annotate | base |