Fri, 01 Jan 2010 14:41:25 +0100 | wenzelm | renamed Proof_Document to Document; | file | diff | annotate |
Wed, 16 Dec 2009 21:11:04 +0100 | wenzelm | explicit object Session.Global_Settings; | file | diff | annotate |
Thu, 10 Dec 2009 14:23:28 +0100 | wenzelm | tuned; | file | diff | annotate |
Thu, 10 Dec 2009 14:14:49 +0100 | wenzelm | basic setup for HTML_Panel event handling; | file | diff | annotate |
Tue, 08 Dec 2009 22:38:32 +0100 | wenzelm | prefer options from running application; | file | diff | annotate |
Tue, 08 Dec 2009 21:54:34 +0100 | wenzelm | more precise messages; | file | diff | annotate |
Tue, 08 Dec 2009 21:01:16 +0100 | wenzelm | provide dummy URL; | file | diff | annotate |
Tue, 08 Dec 2009 20:14:08 +0100 | wenzelm | generic HTML_Panel -- specific Results_Dockable; | file | diff | annotate |