| Mon, 10 May 2010 12:12:58 -0700 | huffman | new construction of real numbers using Cauchy sequences | changeset | files |
| Mon, 10 May 2010 11:47:56 -0700 | huffman | add more credits to ex/Dedekind_Real.thy | changeset | files |
| Mon, 10 May 2010 11:30:05 -0700 | huffman | put construction of reals using Dedekind cuts in HOL/ex | changeset | files |
| Tue, 11 May 2010 10:36:50 +0200 | wenzelm | disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin); | changeset | files |
| Mon, 10 May 2010 23:46:49 +0200 | wenzelm | simple dialogs: ensure Swing thread; | changeset | files |
| Mon, 10 May 2010 23:36:47 +0200 | wenzelm | font size re-adjustment according to Lobo internals; | changeset | files |
| Mon, 10 May 2010 22:29:27 +0200 | wenzelm | Scala for Netbeans 6.8v1.1.0rc2; | changeset | files |
| Mon, 10 May 2010 22:27:58 +0200 | wenzelm | more convenient get_font; | changeset | files |