diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/examples.lst | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/config/list/examples.lst b/config/list/examples.lst index d568a7e494..313857b5fe 100644 --- a/config/list/examples.lst +++ b/config/list/examples.lst @@ -11,16 +11,22 @@ futures.scala iterators.scala maps.scala parsers.scala -parsers1.scala +# parsers1.scala patterns.scala sort.scala sort1.scala sort2.scala -typeinf.scala +# typeinf.scala + +expressions/expressions-current.scala + +# jolib/Ref.scala +# jolib/parallelOr.scala pilib/elasticBuffer.scala pilib/handover.scala pilib/mobilePhoneProtocol.scala +pilib/piNat.scala pilib/rwlock.scala pilib/scheduler.scala pilib/semaphore.scala |