index
:
scala
2.10.x
2.11.x
2.12.x
2.8.x
2.9.x
SI-10027-test
gh-pages
javadoc
javadoc-dirty-hack
legacy/msil
scaladoc-include-assets
script-linux
wip-javadoc
The Scala programming language
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
compiler
/
scala
/
tools
/
nsc
/
util
/
TreeSet.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
SI-7592 Replace s.t.n.u.TreeSet with s.c.m.TreeSet
Simon Ochsenreither
2013-06-19
1
-64
/
+0
*
Take the N^2 out of the compiler's TreeSet.
Paul Phillips
2013-04-03
1
-5
/
+15
*
Brings all copyrights (in comments) up-to-date, from 2011/12 to 2013
Heather Miller
2012-11-02
1
-1
/
+1
*
update and normalize copyright notice
Adriaan Moors
2012-08-07
1
-1
/
+1
*
Updated copyright notices to 2011
Antonio Cunei
2011-01-20
1
-1
/
+1
*
Removed more than 3400 svn '$Id' keywords and r...
Antonio Cunei
2010-05-12
1
-1
/
+0
*
Updated copyright notices to 2010
Antonio Cunei
2009-12-07
1
-1
/
+1
*
Subtly altered implementation of iterator which...
Paul Phillips
2009-11-20
1
-11
/
+3
*
More deprecation soothing.
Paul Phillips
2009-11-18
1
-2
/
+6
*
These might be the last of the deprecation warn...
Paul Phillips
2009-08-22
1
-1
/
+3
*
switch to unnested packages.
Martin Odersky
2009-07-24
1
-1
/
+2
*
In "Iterable" and in all its subclasses, "itera...
Gilles Dubochet
2009-05-27
1
-1
/
+1
*
Updated (all) copyright notices to 2009
Antonio Cunei
2009-01-13
1
-1
/
+1
*
Reverted removal of TreeSet to fix stability.
Geoffrey Washburn
2008-10-11
1
-0
/
+56
*
Eliminating unnecessary data structures.
Geoffrey Washburn
2008-10-01
1
-56
/
+0
*
incremented MinorVersion, deprecated All/AllRef...
michelou
2007-06-13
1
-3
/
+3
*
Replaced == null()eq null(ne null)
mihaylov
2006-11-13
1
-6
/
+6
*
removed leading/trailing tabs/blanks in nsc/mod...
michelou
2006-07-28
1
-10
/
+14
*
(no commit message)
Martin Odersky
2006-03-10
1
-1
/
+1
*
(no commit message)
Martin Odersky
2006-02-06
1
-1
/
+1
*
Switching to the new build system and to the ne...
Gilles Dubochet
2005-12-19
1
-0
/
+52