diff options
author | schinz <schinz@epfl.ch> | 2005-03-10 09:39:58 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2005-03-10 09:39:58 +0000 |
commit | 5363f24d1db8f73e9f52f100665b19f5b75e356a (patch) | |
tree | 75caf344a21e01e160d313e1151199312d37c1c5 /support/gedit | |
parent | b52ba308913f45306a054ed4cff861d1d209d1be (diff) | |
download | scala-5363f24d1db8f73e9f52f100665b19f5b75e356a.tar.gz scala-5363f24d1db8f73e9f52f100665b19f5b75e356a.tar.bz2 scala-5363f24d1db8f73e9f52f100665b19f5b75e356a.zip |
- renamed "checkCastability" (in Type and subcl...
- renamed "checkCastability" (in Type and subclasses) to "cast", which
is nicer and closer to Java 1.5, - renamed "display" to "ancestors" in
run-time types
Diffstat (limited to 'support/gedit')
0 files changed, 0 insertions, 0 deletions