isabelle: Changelog

paulson [Wed, 05 May 1999 16:44:42 +0200] rev 6592

Now uses manual.bib; some references updated

wenzelm [Wed, 05 May 1999 14:31:31 +0200] rev 6591

tuned rpm file names;

wenzelm [Wed, 05 May 1999 14:31:17 +0200] rev 6590

updated docs;

nipkow [Wed, 05 May 1999 09:44:48 +0200] rev 6589

Bibtex database for documentation.

nipkow [Wed, 05 May 1999 09:43:53 +0200] rev 6588

Bibtex stuff.

wenzelm [Tue, 04 May 1999 19:08:58 +0200] rev 6587

*** empty log message ***

Tue, 04 May 1999 18:56:43 +0200 HOL;

wenzelm [Tue, 04 May 1999 18:56:43 +0200] rev 6586

HOL;

wenzelm [Tue, 04 May 1999 18:55:43 +0200] rev 6585

removed HOL.tex;

wenzelm [Tue, 04 May 1999 18:27:36 +0200] rev 6584

tuned;

wenzelm [Tue, 04 May 1999 18:11:35 +0200] rev 6583

updated;

isabelle