isabelle: Changelog

haftmann [Thu, 16 Dec 2010 09:28:19 +0100] rev 41188

more uniform naming

haftmann [Thu, 16 Dec 2010 09:26:46 +0100] rev 41187

merged

haftmann [Wed, 15 Dec 2010 10:15:55 +0100] rev 41186

merged

haftmann [Wed, 15 Dec 2010 10:06:36 +0100] rev 41185

updated generated files

haftmann [Wed, 15 Dec 2010 09:47:12 +0100] rev 41184

simplified evaluation function names

boehmes [Thu, 16 Dec 2010 09:10:38 +0100] rev 41183

turned simp_trace_depth_limit into a configuration option

huffman [Wed, 15 Dec 2010 19:15:06 -0800] rev 41182

add notsqsubseteq syntax

wenzelm [Wed, 15 Dec 2010 20:52:20 +0100] rev 41181

show: display goal refinement rule as "state", to avoid odd Output.urgent_message and make its association with the goal more explicit;

blanchet [Wed, 15 Dec 2010 19:41:24 +0100] rev 41180

make sure errors generated in a thread don't vanish in cyberspace (e.g., when invoking Sledgehammer with unknown facts)

bulwahn [Wed, 15 Dec 2010 18:45:14 +0100] rev 41179

merged

isabelle