isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

Fri, 10 Feb 2006 02:22:59 +0100 statement: improved error msg;

wenzelm [Fri, 10 Feb 2006 02:22:59 +0100] rev 19007

statement: improved error msg;

Fri, 10 Feb 2006 02:22:57 +0100 * ML/Pure: generic Args/Attrib syntax everywhere;

wenzelm [Fri, 10 Feb 2006 02:22:57 +0100] rev 19006

* ML/Pure: generic Args/Attrib syntax everywhere;

Fri, 10 Feb 2006 02:22:56 +0100 moved fixedN to lexicon.ML;

wenzelm [Fri, 10 Feb 2006 02:22:56 +0100] rev 19005

moved fixedN to lexicon.ML; tuned;

Fri, 10 Feb 2006 02:22:54 +0100 added mfix_delims;

wenzelm [Fri, 10 Feb 2006 02:22:54 +0100] rev 19004

added mfix_delims; tuned;

Fri, 10 Feb 2006 02:22:52 +0100 added mixfix_conflict;

wenzelm [Fri, 10 Feb 2006 02:22:52 +0100] rev 19003

added mixfix_conflict;

Fri, 10 Feb 2006 02:22:50 +0100 added fixedN, constN;

wenzelm [Fri, 10 Feb 2006 02:22:50 +0100] rev 19002

added fixedN, constN;

Fri, 10 Feb 2006 02:22:48 +0100 tuned comment;

wenzelm [Fri, 10 Feb 2006 02:22:48 +0100] rev 19001

tuned comment; moved local syntax to local_syntax.ML; common naming (for abbrevs and thms); transfer: merge consts; tuned pretty_term'; added polymorphic -- special case of generalize; added add_abbrevs(_i); read/cert: expand_consts;

Fri, 10 Feb 2006 02:22:46 +0100 tuned comment;

wenzelm [Fri, 10 Feb 2006 02:22:46 +0100] rev 19000

tuned comment;

Fri, 10 Feb 2006 02:22:43 +0100 syntax: Context.generic;

wenzelm [Fri, 10 Feb 2006 02:22:43 +0100] rev 18999

syntax: Context.generic;

Fri, 10 Feb 2006 02:22:41 +0100 Context.generic is canonical state of parsers;

wenzelm [Fri, 10 Feb 2006 02:22:41 +0100] rev 18998

Context.generic is canonical state of parsers; removed obsolete global/local parsers; tuned interfaces;

(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle