2010-05-10 | huffman | add more credits to ex/Dedekind_Real.thy | changeset | files |
2010-05-10 | huffman | put construction of reals using Dedekind cuts in HOL/ex | changeset | files |
2010-05-11 | wenzelm | disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin); | changeset | files |
2010-05-10 | wenzelm | simple dialogs: ensure Swing thread; | changeset | files |
2010-05-10 | wenzelm | font size re-adjustment according to Lobo internals; | changeset | files |
2010-05-10 | wenzelm | Scala for Netbeans 6.8v1.1.0rc2; | changeset | files |
Loading... |