isabelle: Changelog

wenzelm [Sun, 27 Jan 2008 22:21:37 +0100] rev 25994

use_thy: do not set implicit ML context anymore;

wenzelm [Sun, 27 Jan 2008 22:21:35 +0100] rev 25993

added ambiguity_limit (restricts parse trees / terms printed in messages); tuned;

wenzelm [Sun, 27 Jan 2008 22:21:34 +0100] rev 25992

renamed thms_containing_limit to FindTheorems.limit;

wenzelm [Sun, 27 Jan 2008 20:04:32 +0100] rev 25991

eliminated some legacy ML files;

wenzelm [Sun, 27 Jan 2008 20:04:31 +0100] rev 25990

added bind_thms;

wenzelm [Sun, 27 Jan 2008 20:04:30 +0100] rev 25989

tuned;

wenzelm [Sun, 27 Jan 2008 18:32:32 +0100] rev 25988

removed legacy ML file;

wenzelm [Sat, 26 Jan 2008 23:15:33 +0100] rev 25987

syntax error: unified output of priorities;

wenzelm [Sat, 26 Jan 2008 22:14:07 +0100] rev 25986

syntax error: reduced spam -- print expected nonterminals instead of terminals; tuned pretty_gram;

wenzelm [Sat, 26 Jan 2008 20:01:37 +0100] rev 25985

avoid redundant escaping of Isabelle symbols;

isabelle