isabelle: Changelog

haftmann [Tue, 23 Jun 2009 11:31:28 +0200] rev 31769

lemma funcset_id by Jeremy Avigad

haftmann [Tue, 23 Jun 2009 11:31:27 +0200] rev 31768

lemma finite_image_set by Jeremy Avigad

nipkow [Tue, 23 Jun 2009 12:59:44 +0200] rev 31767

merged

nipkow [Tue, 23 Jun 2009 12:58:53 +0200] rev 31766

new lemmas

wenzelm [Tue, 23 Jun 2009 20:09:56 +0200] rev 31765

tuned input: require longer symbol prefix; clarified result: no decode yet, single word with several completions;

wenzelm [Tue, 23 Jun 2009 17:43:51 +0200] rev 31764

moved string utilities to completion.scala; tuned;

wenzelm [Tue, 23 Jun 2009 17:43:23 +0200] rev 31763

Completion of symbols and keywords.

wenzelm [Tue, 23 Jun 2009 12:42:45 +0200] rev 31762

more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++; misc tuning;

isabelle