| 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 |
| 2010-05-10 | wenzelm | more convenient get_font; | changeset | files |
| 2010-05-10 | wenzelm | renamed Config.get_thy to Config.get_global etc. to indicate that this is not the real thing; | changeset | files |
| 2010-05-10 | wenzelm | more convenient look-and-feel setup; | changeset | files |
| Loading... | |||