isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Wed, 13 Jun 2007 00:02:06 +0200 transaction: context_position (non-destructive only);

changeset

wenzelm [Wed, 13 Jun 2007 00:02:06 +0200] rev 23363

transaction: context_position (non-destructive only);

Wed, 13 Jun 2007 00:02:05 +0200 added map_current;

changeset

wenzelm [Wed, 13 Jun 2007 00:02:05 +0200] rev 23362

added map_current; simplified internal type proof;

Wed, 13 Jun 2007 00:02:04 +0200 tuned msg;

changeset

wenzelm [Wed, 13 Jun 2007 00:02:04 +0200] rev 23361

tuned msg;

Wed, 13 Jun 2007 00:02:03 +0200 apply_method/end_proof: pass position;

changeset

wenzelm [Wed, 13 Jun 2007 00:02:03 +0200] rev 23360

apply_method/end_proof: pass position; Method.Basic: include position;

Wed, 13 Jun 2007 00:02:02 +0200 renamed map to map_current;

changeset

wenzelm [Wed, 13 Jun 2007 00:02:02 +0200] rev 23359

renamed map to map_current;

Wed, 13 Jun 2007 00:02:01 +0200 tuned;

changeset

wenzelm [Wed, 13 Jun 2007 00:02:01 +0200] rev 23358

tuned;

Wed, 13 Jun 2007 00:02:00 +0200 removed unused is_atomic;

changeset

wenzelm [Wed, 13 Jun 2007 00:02:00 +0200] rev 23357

removed unused is_atomic;

Wed, 13 Jun 2007 00:01:59 +0200 renamed prove_raw to prove_internal;

changeset

wenzelm [Wed, 13 Jun 2007 00:01:59 +0200] rev 23356

renamed prove_raw to prove_internal; tuned;

Wed, 13 Jun 2007 00:01:58 +0200 merge/merge_refs: plain error instead of exception TERM;

changeset

wenzelm [Wed, 13 Jun 2007 00:01:58 +0200] rev 23355

merge/merge_refs: plain error instead of exception TERM;

Wed, 13 Jun 2007 00:01:57 +0200 Context positions.

changeset

wenzelm [Wed, 13 Jun 2007 00:01:57 +0200] rev 23354

Context positions.

Wed, 13 Jun 2007 00:01:56 +0200 added context_position.ML;

changeset

wenzelm [Wed, 13 Jun 2007 00:01:56 +0200] rev 23353

added context_position.ML;

Wed, 13 Jun 2007 00:01:54 +0200 renamed Goal.prove_raw to Goal.prove_internal;

changeset

wenzelm [Wed, 13 Jun 2007 00:01:54 +0200] rev 23352

renamed Goal.prove_raw to Goal.prove_internal;

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

isabelle

RSS Atom