Admin/components/main
author wenzelm
Mon Sep 03 20:57:51 2012 +0200 (2012-09-03)
changeset 49097 4e5e48c589ea
parent 49000 0cebcbeac4c7
child 49401 617869cd779c
permissions -rw-r--r--
more direct access to all-important chunks for text painting;
clarified line_start offset: physical line start not start(i);
     1 #main components for everyday use, without big impact on overall build time
     2 cvc3-2.4.1
     3 e-1.5
     4 jdk-7u6
     5 jedit_build-20120903
     6 kodkodi-1.2.16
     7 polyml-5.4.1
     8 scala-2.9.2
     9 spass-3.8ds
    10 z3-4.0