diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-12-16 18:19:00 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-12-16 18:19:00 +0000 |
| commit | 2c0f7659ec05ac00fae9af4074cb62cbb6775065 (patch) | |
| tree | 0669ead7537d61117d1960c3b2265e00b7b9f946 /support/jedit/modes/README | |
| parent | 13a89c1778de2f53945ba329be28482a528e024f (diff) | |
| download | scala-2c0f7659ec05ac00fae9af4074cb62cbb6775065.tar.gz scala-2c0f7659ec05ac00fae9af4074cb62cbb6775065.tar.bz2 scala-2c0f7659ec05ac00fae9af4074cb62cbb6775065.zip | |
Removed tool support from the scala core module.
Diffstat (limited to 'support/jedit/modes/README')
| -rw-r--r-- | support/jedit/modes/README | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/support/jedit/modes/README b/support/jedit/modes/README deleted file mode 100644 index 04609548f5..0000000000 --- a/support/jedit/modes/README +++ /dev/null @@ -1,33 +0,0 @@ -* Introduction - -This directory contains an additional syntax highlighting mode (.xml) for -Scala programs. You will need to add a mode catalog entry after placing the -mode file in an appropriate mode directory. - -More information about jEdit is available from: - - http://www.jedit.org/ - -* Installation - -Copy the file "scala.xml" to the following location: - - ~/.jedit/modes/ - -or alternatively to the location: - - <jedit_instdir>/modes/ - -Add the following entry to the file "catalog" present in the same directory -as "scala.xml" you just copied. - - <MODE NAME="scala" FILE="scala.xml" FILE_NAME_GLOB="*.scala" /> - -Restart the jEdit text editor. - -From that point on, loading a file whose name ends in ".scala" automatically -turns Scala mode on. - -* Version - -$Id$ |