isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Wed, 26 Sep 2001 20:34:22 +0200 use darkblue for all links;

wenzelm [Wed, 26 Sep 2001 20:34:22 +0200] rev 11570

use darkblue for all links;

Wed, 26 Sep 2001 20:33:33 +0200 updated;

wenzelm [Wed, 26 Sep 2001 20:33:33 +0200] rev 11569

updated;

Tue, 25 Sep 2001 16:17:46 +0200 updated;

wenzelm [Tue, 25 Sep 2001 16:17:46 +0200] rev 11568

updated;

Tue, 25 Sep 2001 14:19:29 +0200 *** empty log message ***

wenzelm [Tue, 25 Sep 2001 14:19:29 +0200] rev 11567

*** empty log message ***

Tue, 25 Sep 2001 12:16:49 +0200 tuned;

wenzelm [Tue, 25 Sep 2001 12:16:49 +0200] rev 11566

tuned;

Fri, 21 Sep 2001 18:23:15 +0200 Minor improvements, added Example

oheimb [Fri, 21 Sep 2001 18:23:15 +0200] rev 11565

Minor improvements, added Example

Mon, 17 Sep 2001 19:49:09 +0200 tuned;

wenzelm [Mon, 17 Sep 2001 19:49:09 +0200] rev 11564

tuned;

Thu, 13 Sep 2001 16:26:16 +0200 Fixed proof term bug in permute_prems.

berghofe [Thu, 13 Sep 2001 16:26:16 +0200] rev 11563

Fixed proof term bug in permute_prems.

Wed, 12 Sep 2001 18:10:52 +0200 result_error_default: include msg;

wenzelm [Wed, 12 Sep 2001 18:10:52 +0200] rev 11562

result_error_default: include msg;

Tue, 11 Sep 2001 15:36:16 +0200 *** empty log message ***

nipkow [Tue, 11 Sep 2001 15:36:16 +0200] rev 11561

*** empty log message ***

Mon, 10 Sep 2001 18:31:24 +0200 marginally improved comments

oheimb [Mon, 10 Sep 2001 18:31:24 +0200] rev 11560

marginally improved comments

Mon, 10 Sep 2001 18:18:04 +0200 corrected antiquotations in comment

oheimb [Mon, 10 Sep 2001 18:18:04 +0200] rev 11559

corrected antiquotations in comment

Mon, 10 Sep 2001 17:35:22 +0200 simplified vnam/vname, introduced fname, improved comments

oheimb [Mon, 10 Sep 2001 17:35:22 +0200] rev 11558

simplified vnam/vname, introduced fname, improved comments

Mon, 10 Sep 2001 13:57:57 +0200 tuned usage;

wenzelm [Mon, 10 Sep 2001 13:57:57 +0200] rev 11557

tuned usage;

Sat, 08 Sep 2001 20:06:13 +0200 print_state: subgoals;

wenzelm [Sat, 08 Sep 2001 20:06:13 +0200] rev 11556

print_state: subgoals;

Sat, 08 Sep 2001 20:05:32 +0200 export pretty_goals;

wenzelm [Sat, 08 Sep 2001 20:05:32 +0200] rev 11555

export pretty_goals;

Sat, 08 Sep 2001 20:05:14 +0200 result_error_default: output *single* error message;

wenzelm [Sat, 08 Sep 2001 20:05:14 +0200] rev 11554

result_error_default: output *single* error message;

Sat, 08 Sep 2001 20:03:22 +0200 tuned;

wenzelm [Sat, 08 Sep 2001 20:03:22 +0200] rev 11553

tuned;

Sat, 08 Sep 2001 20:02:59 +0200 ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);

wenzelm [Sat, 08 Sep 2001 20:02:59 +0200] rev 11552

ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);

Sat, 08 Sep 2001 20:02:09 +0200 * system: support Poly/ML 4.1.1 (large heaps);

wenzelm [Sat, 08 Sep 2001 20:02:09 +0200] rev 11551

* system: support Poly/ML 4.1.1 (large heaps); * system: smart selection of Isabelle process versus Isabelle interface, accomodates case-insensitive file systems (e.g. HFS+);

Sat, 08 Sep 2001 20:00:31 +0200 smart selection of isabelle-process versus isabelle-interface;

wenzelm [Sat, 08 Sep 2001 20:00:31 +0200] rev 11550

smart selection of isabelle-process versus isabelle-interface;

Tue, 04 Sep 2001 21:10:57 +0200 renamed "antecedent" case to "rule_context";

wenzelm [Tue, 04 Sep 2001 21:10:57 +0200] rev 11549

renamed "antecedent" case to "rule_context";

Tue, 04 Sep 2001 17:31:18 +0200 *** empty log message ***

nipkow [Tue, 04 Sep 2001 17:31:18 +0200] rev 11548

*** empty log message ***

Mon, 03 Sep 2001 10:28:52 +0200 *** empty log message ***

nipkow [Mon, 03 Sep 2001 10:28:52 +0200] rev 11547

*** empty log message ***

Sat, 01 Sep 2001 00:20:44 +0200 tuned;

wenzelm [Sat, 01 Sep 2001 00:20:44 +0200] rev 11546

tuned;

Sat, 01 Sep 2001 00:20:22 +0200 final proofs := 0;

wenzelm [Sat, 01 Sep 2001 00:20:22 +0200] rev 11545

final proofs := 0;

Sat, 01 Sep 2001 00:20:06 +0200 HOL-Real-Hyperreal made a plain session (no longer an image);

wenzelm [Sat, 01 Sep 2001 00:20:06 +0200] rev 11544

HOL-Real-Hyperreal made a plain session (no longer an image);

Sat, 01 Sep 2001 00:14:16 +0200 renamed `keep_derivs' to `proofs', and made an integer;

wenzelm [Sat, 01 Sep 2001 00:14:16 +0200] rev 11543

renamed `keep_derivs' to `proofs', and made an integer;

(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle