isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 21 Aug 2008 15:27:28 +0200 recode: proper result for unmatched symbols;

changeset

wenzelm [Thu, 21 Aug 2008 15:27:28 +0200] rev 27938

recode: proper result for unmatched symbols;

Thu, 21 Aug 2008 15:20:00 +0200 more robust pattern: look at longer matches first, added catch-all case;

changeset

wenzelm [Thu, 21 Aug 2008 15:20:00 +0200] rev 27937

more robust pattern: look at longer matches first, added catch-all case; more private fields; reworked Recoder: more direct char/string operations, avoids inefficiency of large alternatives (java.util.regex does not optimize regexps);

Thu, 21 Aug 2008 13:05:37 +0200 added get_setting;

changeset

wenzelm [Thu, 21 Aug 2008 13:05:37 +0200] rev 27936

added get_setting; removed obsolete ISABELLE_HOME, ISABELLE_HOME_USER; added platform_path, which expands variables and performs basic cygwin conversion;

Thu, 21 Aug 2008 13:05:31 +0200 read_symbols: proper IsabelleSystem.platform_path;

changeset

wenzelm [Thu, 21 Aug 2008 13:05:31 +0200] rev 27935

read_symbols: proper IsabelleSystem.platform_path;

Thu, 21 Aug 2008 13:05:28 +0200 added ISABELLE_ROOT_JVM;

changeset

wenzelm [Thu, 21 Aug 2008 13:05:28 +0200] rev 27934

added ISABELLE_ROOT_JVM; removed obsolete ISABELLE_HOME_JVM, ISABELLE_HOME_USER_JVM;

Mon, 18 Aug 2008 17:57:06 +0200 Theorem on polynomial division and lemmas.

changeset

ballarin [Mon, 18 Aug 2008 17:57:06 +0200] rev 27933

Theorem on polynomial division and lemmas.