isabelle: Changelog

berghofe [Wed, 06 Aug 1997 00:06:47 +0200] rev 3599

Source files for Isabelle theory graph browser. Initial revision.

berghofe [Wed, 06 Aug 1997 00:04:53 +0200] rev 3598

Makefile for GraphBrowser Initial revision

wenzelm [Tue, 05 Aug 1997 17:26:01 +0200] rev 3597

added getenv;

wenzelm [Tue, 05 Aug 1997 17:21:24 +0200] rev 3596

removed smlnj-1.07;

wenzelm [Tue, 05 Aug 1997 17:03:11 +0200] rev 3595

cleaned up; added getenv;

wenzelm [Tue, 05 Aug 1997 17:02:50 +0200] rev 3594

tuned comments;

wenzelm [Tue, 05 Aug 1997 17:01:02 +0200] rev 3593

removed ML-Systems/smlnj-1.07.ML;

wenzelm [Tue, 05 Aug 1997 16:44:46 +0200] rev 3592

SML/NJ 1.07 no longer supported!

wenzelm [Tue, 05 Aug 1997 16:43:54 +0200] rev 3591

cleaned up; added getenv;

nipkow [Tue, 05 Aug 1997 16:22:17 +0200] rev 3590

Added example mapf which requires a special congruence rule.

isabelle