diff options
Diffstat (limited to 'spec/14-references.md')
| -rw-r--r-- | spec/14-references.md | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/spec/14-references.md b/spec/14-references.md index 8c169b9ea4..caae5796b2 100644 --- a/spec/14-references.md +++ b/spec/14-references.md @@ -4,7 +4,6 @@ layout: default chapter: 14 --- - # References TODO (see comments in markdown source) @@ -49,7 +48,6 @@ for syntactic definitions?", month = nov } - %% Book %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -116,7 +114,6 @@ for syntactic definitions?", OPTannote = {} } - %% InProceedings %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -131,7 +128,6 @@ for syntactic definitions?", \verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@} } - %% Misc %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -208,6 +204,4 @@ for syntactic definitions?", short = {http://www.cis.upenn.edu/~bcpierce/papers/variance.pdf} } - - --->
\ No newline at end of file +--> |