Wed, 08 Dec 1999 13:53:29 +0100 | paulson | abolition of localTo: instead "guarantees" has local vars as extra argument | file | diff | annotate |
Wed, 27 Oct 1999 13:03:32 +0200 | paulson | working again; new treatment of LocalTo | file | diff | annotate |
Mon, 18 Oct 1999 16:16:03 +0200 | paulson | exchanged the first two args of "project" and "drop_prog" | file | diff | annotate |
Mon, 18 Oct 1999 15:18:24 +0200 | paulson | working version with localTo[C] instead of localTo | file | diff | annotate |
Mon, 11 Oct 1999 10:53:39 +0200 | paulson | working shapshot with "projecting" and "extending" | file | diff | annotate |
Mon, 04 Oct 1999 13:47:28 +0200 | paulson | working snapshot (even Alloc) | file | diff | annotate |
Wed, 29 Sep 1999 13:13:06 +0200 | paulson | working snapshot with new theory "Project" | file | diff | annotate |