| added README |
|
More...
|
over 12 years ago
|
| added files to GIT that were never in RCS (and I can't remember why they were not there, or if maybe they should not be there on purpose) |
|
More...
|
over 12 years ago
|
| changes from a long time ago |
|
More...
|
over 12 years ago
|
| changes from a long time ago. |
|
More...
|
over 12 years ago
|
| update copyright |
|
More...
|
over 12 years ago
|
| *** empty log message *** |
|
More...
|
over 12 years ago
|
| Initial revision |
|
More...
|
over 18 years ago
|
| Fixed bug - out needs to be available via state in header/footer. |
|
More...
|
over 18 years ago
|
| Changed Properties to HashMap (so I really can store objects, not just strings). |
|
More...
|
over 18 years ago
|
| working checkin before change. |
|
More...
|
over 18 years ago
|
| fixed cut and paste error |
|
More...
|
about 21 years ago
|
| Added exit-if-failures |
|
More...
|
about 21 years ago
|
| Added exitIfFailures |
|
More...
|
about 21 years ago
|
| Initial revision |
|
More...
|
about 21 years ago
|
| Version that is published. Note: if I produce the pdf via: latex ilc2005 dvipdf ilc2005 then the top margin is too small and bottom too large. When Carl Shapiro (the ILC format guy) produces PDF it is fine. I checked his version into RCS. |
|
More...
|
about 21 years ago
|
| Version sent to Carl on June 7, 2005 at 11:10am |
|
More...
|
about 21 years ago
|
| Version sent on 6/6/2005 at 7:21pm MT. |
|
More...
|
about 21 years ago
|
| Version using ieee. Trying to get 8.5x11 output format. |
|
More...
|
about 21 years ago
|
| 2nd version sent - with formatting adjustments - and some text adjustments to deal with lines extending past the end of the margin. |
|
More...
|
about 21 years ago
|
| Initial revision |
|
More...
|
about 21 years ago
|
| Final version sent to ILC2005 on May 25, 2005. |
|
More...
|
over 21 years ago
|
| Checkpoint after Ken and Tim's comments. |
|
More...
|
over 21 years ago
|
| Changed DI name to RI. |
|
More...
|
over 21 years ago
|
| Changed DI name to RI. |
|
More...
|
over 21 years ago
|
| The first and close to final draft of the full paper. Written straight through in about 6 long days. |
|
More...
|
over 21 years ago
|
| Added ! and alias for call/cc. |
|
More...
|
over 21 years ago
|
| Added experimental code. |
|
More...
|
over 21 years ago
|
| Added ! - and experiment. |
|
More...
|
over 21 years ago
|
| Primitive and Generic version of not/! |
|
More...
|
over 21 years ago
|
| Initial revision |
|
More...
|
over 21 years ago
|