Changes between Version 11 and Version 12 of Doc/compiler/problems


Ignore:
Timestamp:
Oct 5, 2008, 3:40:31 PM (16 years ago)
Author:
/O=GRID-FR/C=FR/O=CNRS/OU=LAL/CN=Michel Jouvin
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Doc/compiler/problems

    v11 v12  
    3838
    3939This problem has been seen on Windows only, with Java 5 and Java 6.
     40
     41''Note: enabling `-Xint` option in JVM has a huge impact on performances. Plase, never do that on a permanent basis and report the problem you are trying to work around.'