diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 48 |
1 files changed, 36 insertions, 12 deletions
diff --git a/docs/index.html b/docs/index.html index 771bb6a..ba40d16 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1,4 +1,4 @@ -<!doctype html PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> +<!doctype html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=iso-8859-1"> @@ -11,18 +11,38 @@ <link rel="shortcut icon" type="image/x-icon" href="favicon.ico"> <title>ProGuard</title> </head> + +<script type="text/javascript" language="JavaScript"> +//<!-- + var destWindowHash = window.location.hash; + function mainFrameLoaded() { + if (destWindowHash.length > 1) { + var destFrameFile = destWindowHash.substring(1); + var currFrameFile = frames["main"].location.href.replace(window.location.href.replace(/index.html.*/, ""), ""); + if (currFrameFile != destFrameFile) { + frames["main"].location.replace(destFrameFile); + if (destFrameFile.search("manual/") >= 0) + frames["sections"].location.replace("manual/sections.html"); + } + destWindowHash = ""; + } + } +//--> +</script> + <frameset rows="50,*" framespacing="0" frameborder="no"> <frame + id="title" name="title" src="title.html" scrolling="no" marginwidth="0" marginheight="0" - noresize> + noresize="noresize" /> <frameset cols="120,*" @@ -30,20 +50,23 @@ frameborder="no"> <frame + id="sections" name="sections" src="sections.html" scrolling="no" marginwidth="0" marginheight="0" - noresize> + noresize="noresize" /> <frame + id="main" name="main" src="main.html" scrolling="auto" marginwidth="10" marginheight="10" - noresize> + noresize="noresize" + onload="mainFrameLoaded()" /> </frameset> </frameset> @@ -51,21 +74,22 @@ <noframes> <body> <p class="intro"> -<b>ProGuard</b> is a free Java class file shrinker, optimizer, and obfuscator. -It can detect and remove unused classes, fields, methods, and attributes. It -can then optimize bytecode and remove unused instructions. Finally, it can -rename the remaining classes, fields, and methods using short meaningless -names. The resulting jars are smaller and harder to reverse-engineer. +<b>ProGuard</b> is a free Java class file shrinker, optimizer, obfuscator, and +preverifier. It detects and removes unused classes, fields, methods, and +attributes. It optimizes bytecode and removes unused instructions. It renames +the remaining classes, fields, and methods using short meaningless names. +Finally, it preverifies the processed code for Java 6 or for Java Micro +Edition. </p> <p> Your browser doesn't support frames, but that's cool. <p> You can go straight to the <a href="main.html">main page</a>. -<hr> +<hr /> <address> -Copyright © 2002-2009 -<a href="http://www.graphics.cornell.edu/~eric/">Eric Lafortune</a>. +Copyright © 2002-2013 +<a target="other" href="http://www.lafortune.eu/">Eric Lafortune</a>. </address> </body> </noframes> |