Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
changed title
authorimmler@in.tum.de
Wed, 04 Mar 2009 17:46:42 +0100
changeset 345313c3a23c1eb8c
parent 34530 79ad42a9497f
child 34532 f0e55d9ffe45
changed title
src/Tools/jEdit/src/utils/LinearSet.scala file | annotate | diff | comparison | revisions 
     1.1 --- a/src/Tools/jEdit/src/utils/LinearSet.scala	Wed Mar 04 17:07:47 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/utils/LinearSet.scala	Wed Mar 04 17:46:42 2009 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -/*  Title:      linear_set.scala
     1.5 +/*  Title:      LinearSet.scala
     1.6      Author:     Makarius
     1.7  
     1.8  Sets with canonical linear order, or immutable linked-lists.
wneuper/isa