22 months ago agotreat sessions as entities with defining position;
wenzelm [Tue, 23 Jan 2018 19:25:39 +0100] rev 67493
treat sessions as entities with defining position;
tuned signature;

22 months ago agooptions file for x86_64 only (amending 03a96b8c7c06);
wenzelm [Tue, 23 Jan 2018 17:58:09 +0100] rev 67492
options file for x86_64 only (amending 03a96b8c7c06);

22 months ago agoupdated to jdk-8u162;
wenzelm [Tue, 23 Jan 2018 17:04:52 +0100] rev 67491
updated to jdk-8u162;

22 months ago agomore robust java.ext.dirs: avoid picking up accidental jars from system directories;
wenzelm [Tue, 23 Jan 2018 16:37:57 +0100] rev 67490
more robust java.ext.dirs: avoid picking up accidental jars from system directories;

22 months ago agodrop redundant cong rules
Lars Hupel <lars.hupel@mytum.de> [Tue, 23 Jan 2018 12:28:46 +0100] rev 67489
drop redundant cong rules

22 months ago agomerged
Lars Hupel <lars.hupel@mytum.de> [Mon, 22 Jan 2018 22:45:45 +0100] rev 67488
merged

22 months ago agoremoved duplicate
nipkow [Mon, 22 Jan 2018 15:25:46 +0100] rev 67487
removed duplicate

22 months ago agodrop redundant fundef_cong rule
Lars Hupel <lars.hupel@mytum.de> [Mon, 22 Jan 2018 16:08:50 +0100] rev 67486
drop redundant fundef_cong rule

22 months ago agotuned
Lars Hupel <lars.hupel@mytum.de> [Mon, 22 Jan 2018 15:50:29 +0100] rev 67485
tuned

22 months ago agorepair malformed fundef_cong rule
Lars Hupel <lars.hupel@mytum.de> [Mon, 22 Jan 2018 15:06:38 +0100] rev 67484
repair malformed fundef_cong rule