diff options
author | Martin Odersky <odersky@gmail.com> | 2003-07-31 09:57:59 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-07-31 09:57:59 +0000 |
commit | 03449ed20a3cca9e8d974c7efeff6b4e01ecb66d (patch) | |
tree | db1153ac4bffac098d6d6d053f727992f1a2e4da /support/latex | |
parent | be21ca1267f48e8fd14d5e32f3c7a4d814005eef (diff) | |
download | scala-03449ed20a3cca9e8d974c7efeff6b4e01ecb66d.tar.gz scala-03449ed20a3cca9e8d974c7efeff6b4e01ecb66d.tar.bz2 scala-03449ed20a3cca9e8d974c7efeff6b4e01ecb66d.zip |
*** empty log message ***
Diffstat (limited to 'support/latex')
-rw-r--r-- | support/latex/verbfilterScala.java | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/support/latex/verbfilterScala.java b/support/latex/verbfilterScala.java index d71b6b9d3f..5d6fd11e75 100644 --- a/support/latex/verbfilterScala.java +++ b/support/latex/verbfilterScala.java @@ -5,14 +5,13 @@ import java.io.*; public class verbfilterScala { static String[] reserved = { - "abstract", "as", "case", "catch", "class", - "def", "do", "else", "extends", "false", - "final", "finally", "for", "if", "import", - "is", "new", "null", "object", "override", - "package", "private", "protected", "return", - "sealed", "super", "this", "trait", "try", - "true", "type", "val", "var", "with", - "while", "yield"}; + "abstract", "case", "catch", "class", "def", + "do", "else", "extends", "false", "final", + "finally", "for", "if", "import", "new", + "null", "object", "override", "package", "private", + "protected", "return", "sealed", "super", "this", + "trait", "try", "true", "type", "val", + "var", "with", "while", "yield"}; static final int TABINC = 8; |