isabelle: File revisions

src/Pure/PIDE/document.scala

Sat, 19 Sep 2015 21:07:37 +0200	wenzelm	straight-forward refresh, without special preconditions;	file \| diff \| annotate
Tue, 25 Aug 2015 13:46:24 +0200	wenzelm	clarified undefined_blobs: already loaded theories are suppressed;	file \| diff \| annotate
Sat, 15 Aug 2015 18:59:31 +0200	wenzelm	more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;	file \| diff \| annotate
Wed, 12 Aug 2015 13:53:51 +0200	wenzelm	resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;	file \| diff \| annotate
Sun, 03 May 2015 00:01:10 +0200	wenzelm	misc tuning, based on warnings by IntelliJ IDEA;	file \| diff \| annotate
Sun, 15 Mar 2015 19:21:15 +0100	wenzelm	hybrid use of command blobs: inlined errors and auxiliary files;	file \| diff \| annotate
Sat, 14 Mar 2015 19:51:36 +0100	wenzelm	clarified positions of theory imports;	file \| diff \| annotate
Thu, 15 Jan 2015 20:36:26 +0100	wenzelm	proper update of perspective after implicit edit due to reparse (e.g. ~~/src/HOL/Nat.thy);	file \| diff \| annotate

isabelle