isabelle: Changelog

wenzelm [Fri, 23 Apr 1999 11:50:17 +0200] rev 6493

tuned;

wenzelm [Fri, 23 Apr 1999 11:48:37 +0200] rev 6492

oops;

wenzelm [Thu, 22 Apr 1999 18:25:24 +0200] rev 6491

fixed IO;

wenzelm [Thu, 22 Apr 1999 18:25:07 +0200] rev 6490

improved load paths;

wenzelm [Thu, 22 Apr 1999 18:23:45 +0200] rev 6489

single method: include not_elim, imp_elim;

wenzelm [Thu, 22 Apr 1999 18:20:37 +0200] rev 6488

more graceful handling of load paths;

wenzelm [Thu, 22 Apr 1999 18:18:47 +0200] rev 6487

improved auto dir handling;

wenzelm [Thu, 22 Apr 1999 15:16:59 +0200] rev 6486

tuned;

wenzelm [Thu, 22 Apr 1999 15:03:50 +0200] rev 6485

make Isabelle rpm packages for Linux/x86 from the distribution;

wenzelm [Thu, 22 Apr 1999 13:28:11 +0200] rev 6484

use_thy etc.: may specify path prefix, which is temporarily used as load path;

isabelle