[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-dev] Some definitions of delegation
|
From: |
David MENTRE |
|
Subject: |
[Demexp-dev] Some definitions of delegation |
|
Date: |
Mon, 15 Nov 2004 23:14:55 +0100 |
|
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
Hello,
I have tried to write on paper the delegation system for demexp. If you
have time to give your comments on it...
I join both PDF and TeXmacs format, if you want to make colorized
comments.
delegation.pdf
Description: demexp delegation (PDF)
delegation.tm
Description: demexp delegation (texmacs)
Yours,
d.
--
pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
- [Demexp-dev] Some definitions of delegation,
David MENTRE <=