Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
spec.bbl | 1994-01-10 15:35 | 0 | ||
bibliography.tex | 1994-01-10 15:35 | 367 | ||
proposed.tex | 1994-01-10 15:35 | 435 | ||
spec.tex | 1994-01-10 15:35 | 1.4K | ||
preface.tex | 1994-01-10 15:35 | 1.9K | ||
title.tex | 1994-01-10 15:35 | 2.1K | ||
semantics.tex | 1994-01-10 15:35 | 2.4K | ||
syntax.tex | 1994-01-10 15:35 | 2.6K | ||
parameters.tex | 1994-01-10 15:35 | 4.3K | ||
introduction.tex | 1994-01-10 15:35 | 7.5K | ||
appendices.tex | 1994-01-10 15:35 | 13K | ||
performatives.tex | 1994-01-10 15:35 | 32K | ||
spec.ps | 1994-01-10 15:35 | 257K | ||