diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-07-04 14:06:34 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-07-04 14:06:34 +0000 |
| commit | 00abd39f96ee40da727ccc735d25ca3d96ce01ce (patch) | |
| tree | 6d7314cd14761335c0dd99d149d8934ef45d4115 /support | |
| parent | bf8fd4c5b3e1df5b249f7fa2d765913cf662fd51 (diff) | |
| download | scala-00abd39f96ee40da727ccc735d25ca3d96ce01ce.tar.gz scala-00abd39f96ee40da727ccc735d25ca3d96ce01ce.tar.bz2 scala-00abd39f96ee40da727ccc735d25ca3d96ce01ce.zip | |
*** empty log message ***
Diffstat (limited to 'support')
| -rw-r--r-- | support/latex/verbfilterScala.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/support/latex/verbfilterScala.java b/support/latex/verbfilterScala.java index 5c8cf85d13..b8db2fb6e9 100644 --- a/support/latex/verbfilterScala.java +++ b/support/latex/verbfilterScala.java @@ -8,8 +8,9 @@ public class verbfilterScala { "abstract", "as", "case", "class", "constr", "def", "do", "else", "extends", "false", "final", "for", "if", "import", "is", "new", "null", "object", "override", "package", - "private", "protected", "super", "this", "trait", - "true", "type", "val", "var", "with", "yield"}; + "private", "protected", "sealed", "super", "this", + "trait", "true", "type", "val", "var", + "with", "yield"}; static final int TABINC = 8; |