haftmann [Fri, 21 May 2010 15:22:37 +0200] rev 37037
tuned
haftmann [Fri, 21 May 2010 15:22:37 +0200] rev 37036
more lemmas about mappings, in particular keys
haftmann [Fri, 21 May 2010 15:22:36 +0200] rev 37035
refined
haftmann [Fri, 21 May 2010 11:50:34 +0200] rev 37034
nats in Haskell are readable
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:40:59 +0200] rev 37033
Let rsp and prs in fun_rel/fun_map format
huffman [Thu, 20 May 2010 21:19:38 -0700] rev 37032
speed up some proofs and fix some warnings
wenzelm [Thu, 20 May 2010 23:22:37 +0200] rev 37031
merged
wenzelm [Thu, 20 May 2010 23:20:01 +0200] rev 37030
zoom font size;
wenzelm [Thu, 20 May 2010 23:19:28 +0200] rev 37029
added somewhat generic zoom box;
wenzelm [Thu, 20 May 2010 21:32:48 +0200] rev 37028
try CheckBox instead of ToggleButton, which is visually confusing without window focus, e.g. in a floating instance (problem of MacOS look-and-feel);