bulwahn [Tue, 28 Sep 2010 11:59:51 +0200] rev 39762
handling higher-order relations in output terms; improving proof procedure; added test case
bulwahn [Tue, 28 Sep 2010 11:59:50 +0200] rev 39761
renaming use_random to use_generators in the predicate compiler
bulwahn [Tue, 28 Sep 2010 11:59:48 +0200] rev 39760
fixed a typo that caused the preference of non-random modes to be ignored
haftmann [Tue, 28 Sep 2010 12:48:05 +0200] rev 39759
merged
haftmann [Tue, 28 Sep 2010 12:47:55 +0200] rev 39758
modernized primrecs
haftmann [Tue, 28 Sep 2010 12:47:55 +0200] rev 39757
modernized session
krauss [Tue, 28 Sep 2010 12:34:41 +0200] rev 39756
consolidated tupled_lambda; moved to structure HOLogic
haftmann [Tue, 28 Sep 2010 12:10:37 +0200] rev 39755
added dependency to base image to ensure that the doc test actually rebuilds the tutorial
krauss [Tue, 28 Sep 2010 09:54:07 +0200] rev 39754
no longer declare .psimps rules as [simp].
This regularly caused confusion (e.g., they show up in simp traces
when the regular simp rules are disabled). In the few places where the
rules are used, explicitly mentioning them actually clarifies the
proof text.
krauss [Tue, 28 Sep 2010 09:43:13 +0200] rev 39753
added dependency to base images to ensure that the doc test actually rebuilds the tutorials
krauss [Tue, 28 Sep 2010 09:34:20 +0200] rev 39752
removed unnecessary reference poking (cf. f45d332a90e3)
haftmann [Tue, 28 Sep 2010 09:17:33 +0200] rev 39751
merged
haftmann [Tue, 28 Sep 2010 09:14:37 +0200] rev 39750
consider quick_and_dirty option before loading theory
krauss [Tue, 28 Sep 2010 08:38:20 +0200] rev 39749
dropped obsolete mk_tcl
blanchet [Tue, 28 Sep 2010 08:35:00 +0200] rev 39748
make SML/NJ happy
haftmann [Mon, 27 Sep 2010 16:32:48 +0200] rev 39747
merged
haftmann [Mon, 27 Sep 2010 16:27:32 +0200] rev 39746
combine quote and typewriter tag; typewriter considers isa@parindent
haftmann [Mon, 27 Sep 2010 16:27:31 +0200] rev 39745
combine quote and typewriter/tt tag
haftmann [Mon, 27 Sep 2010 16:19:37 +0200] rev 39744
combine quote and typewriter tag; typewriter considers isa@parindent
haftmann [Mon, 27 Sep 2010 16:19:36 +0200] rev 39743
combine quote and typewriter tag
wenzelm [Wed, 29 Sep 2010 17:58:27 +0200] rev 39742
CONTROL-mouse management: handle windowDeactivated as well;
some workarounds to robustify html_popup;
wenzelm [Tue, 28 Sep 2010 23:47:45 +0200] rev 39741
CONTROL-mouse management: handle windowIconified;
html_panel: tuned border;
wenzelm [Tue, 28 Sep 2010 23:02:05 +0200] rev 39740
basic support for message popups via HTML_Panel;
more systematic CONTROL-mouse management;
tuned;
wenzelm [Tue, 28 Sep 2010 20:49:39 +0200] rev 39739
tuned default perspective;
wenzelm [Tue, 28 Sep 2010 20:35:17 +0200] rev 39738
tuned README;
wenzelm [Tue, 28 Sep 2010 20:22:58 +0200] rev 39737
more defensive overview.paintComponent: avoid potential crash due to buffer change while painting;
wenzelm [Tue, 28 Sep 2010 18:51:10 +0200] rev 39736
tuned README;
wenzelm [Tue, 28 Sep 2010 15:58:31 +0200] rev 39735
more uniform init/exit model/view in session_manager, trading race wrt. session.phase for race wrt. global editor state;
wenzelm [Mon, 27 Sep 2010 21:16:42 +0200] rev 39734
moved "auto-start" to options panel;
tuned;
wenzelm [Mon, 27 Sep 2010 20:26:10 +0200] rev 39733
renamed raw output primitives to emphasize their meaning -- not to be used in user-space;