Commit Graph

5 Commits

Author SHA1 Message Date
8eec1a0339 fixing problems! 2013-07-08 16:30:17 -06:00
87b02eb949 update copyright years
Previously, I used a shell script to extract modification date ranges
from the Git history, but that was complicated and unreliable, so now
every file just gets the same year range in its copyright header.  If
someone needs to know when a specific file was modified and by whom,
they can look at the Git history themselves; no need to include it
redundantly in the header.
2013-07-02 20:52:38 -06:00
b1eb4b9718 Adds code to get the Scala REPL working 2013-01-30 04:31:38 +01:00
18a6393ecf fix ClassCastException in ZipFile.getInputStream
This was being thrown when the parameter passed was a
JarFile.MyJarEntry, not a ZipFile.MyZipEntry, yet we cast it to the
latter.
2011-05-16 10:30:56 -06:00
3dd091c67a implement jar and file URL stream handlers 2011-03-25 19:14:21 -06:00