isabelle: Changelog

wenzelm [Thu, 18 Aug 2005 11:17:42 +0200] rev 17107

various Toplevel.theory_context commands: proper presentation in context; simplified interfaces Proof vs. IsarThy;

wenzelm [Thu, 18 Aug 2005 11:17:41 +0200] rev 17106

use theory instead of obsolete Sign.sg; tuned comments;

wenzelm [Thu, 18 Aug 2005 11:17:40 +0200] rev 17105

added map_specs/facts operators (from locale.ML);

wenzelm [Thu, 18 Aug 2005 11:17:39 +0200] rev 17104

removed obsolete Theory.sign_of;

wenzelm [Thu, 18 Aug 2005 11:17:38 +0200] rev 17103

load method.ML before proof.ML;

wenzelm [Thu, 18 Aug 2005 11:17:37 +0200] rev 17102

added interfaces for compile translation functions (from Isar/isar_thy.ML);

wenzelm [Thu, 18 Aug 2005 11:17:36 +0200] rev 17101

added tap;

wenzelm [Thu, 18 Aug 2005 11:17:35 +0200] rev 17100

updated;

wenzelm [Thu, 18 Aug 2005 11:17:34 +0200] rev 17099

usedir: tuned option -V;

wenzelm [Thu, 18 Aug 2005 11:17:33 +0200] rev 17098

usedir: removed option -H;

isabelle