[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gnu-arch-users] Re: formal foundations for the semantics of restricted
From: |
Denys Duchier |
Subject: |
[Gnu-arch-users] Re: formal foundations for the semantics of restricted mkpatch |
Date: |
Sun, 12 Oct 2003 19:57:28 +0200 |
User-agent: |
Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3 (gnu/linux) |
Tom Lord <address@hidden> writes:
> I've gotten stuck trying to figure this out.
:-) It turned out to not be quite what I needed to make further
progress. So I am working on a slightly different tack that
(surprise, surprise) is much more directly in adequation with what you
are doing in arch (I guess I have been learning something :-) and
looks fairly easy to prove things about.
Unfortunately, right at the moment, I am in the last throes of
organizing a workshop that to my surprise turned into something more
like a mini-conference. Everything is running late and I'll be
stressing for another week.
But not to worry - in the words of the governator: I'll be back! :-)
Cheers,
--
Dr. Denys Duchier
Équipe Calligramme
LORIA, Nancy, FRANCE