haftmann [Thu, 30 Sep 2010 09:45:18 +0200] rev 40042
value uses bare compiler invocation: generated code does not contain antiquotations
haftmann [Thu, 30 Sep 2010 09:31:07 +0200] rev 40041
updated files to recent changes
haftmann [Thu, 30 Sep 2010 08:50:45 +0200] rev 40040
corrected subsumption check: arguments have been reversed; addition of default equations to non-default equations is identity
haftmann [Thu, 30 Sep 2010 08:50:45 +0200] rev 40039
tuned
haftmann [Thu, 30 Sep 2010 07:34:06 +0200] rev 40038
merged
haftmann [Wed, 29 Sep 2010 15:28:29 +0200] rev 40037
redundancy check: drop trailing Var arguments (avoids eta problems with equations)
wenzelm [Wed, 29 Sep 2010 17:59:20 +0200] rev 40036
merged
wenzelm [Wed, 29 Sep 2010 17:58:27 +0200] rev 40035
CONTROL-mouse management: handle windowDeactivated as well;
some workarounds to robustify html_popup;
wenzelm [Tue, 28 Sep 2010 23:47:45 +0200] rev 40034
CONTROL-mouse management: handle windowIconified;
html_panel: tuned border;
wenzelm [Tue, 28 Sep 2010 23:02:05 +0200] rev 40033
basic support for message popups via HTML_Panel;
more systematic CONTROL-mouse management;
tuned;