![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | bugs.html | 1999-10-20 10:42 | 205 | |
![]() | ReadMe.html | 1999-10-20 10:40 | 1.7K | |
![]() | leda.html | 1998-08-20 14:43 | 1.4K | |
![]() | slides/ | 1998-03-31 17:08 | - | |
![]() | leda4win95.tar | 1997-03-03 16:28 | 487K | |
![]() | pldi95.ps | 1995-04-04 11:50 | 213K | |
![]() | catalog | 1994-09-15 13:52 | 1.8K | |
![]() | toc.ps | 1994-09-15 13:42 | 127K | |
![]() | teaching.ps | 1994-09-15 13:41 | 80K | |
![]() | ledainterp.tar | 1994-09-15 13:41 | 450K | |
![]() | first.tar.Z | 1994-09-15 13:41 | 1.8M | |
![]() | chapter3.ps | 1994-09-15 13:41 | 140K | |
![]() | chapter2.ps | 1994-09-15 13:41 | 134K | |
![]() | chapter1.ps | 1994-09-15 13:41 | 182K | |
![]() | appendixC.ps | 1994-09-15 13:41 | 111K | |
![]() | appendixB.ps | 1994-09-15 13:41 | 99K | |
![]() | appendixA.ps | 1994-09-15 13:41 | 97K | |