isabelle: Changelog

wenzelm [Thu, 06 Jul 2006 16:49:39 +0200] rev 20027

updated;

wenzelm [Thu, 06 Jul 2006 16:49:38 +0200] rev 20026

Local variables;

wenzelm [Thu, 06 Jul 2006 16:49:37 +0200] rev 20025

Isar.context ();

wenzelm [Thu, 06 Jul 2006 16:49:36 +0200] rev 20024

tuned;

wenzelm [Thu, 06 Jul 2006 15:21:33 +0200] rev 20023

added Isar.context;

paulson [Thu, 06 Jul 2006 12:18:17 +0200] rev 20022

some tidying; fixed the output of theorem names

wenzelm [Thu, 06 Jul 2006 11:26:49 +0200] rev 20021

def_export: Drule.generalize;

wenzelm [Thu, 06 Jul 2006 11:26:46 +0200] rev 20020

matchers: fall back on plain first_order_matchers, not pattern;

kleing [Wed, 05 Jul 2006 23:51:22 +0200] rev 20019

make sure $DISTPREFIX exists before calling makedist

paulson [Wed, 05 Jul 2006 16:24:28 +0200] rev 20018

removed the "tagging" feature

isabelle