1<!doctype html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2<html>
3<head>
4<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
5<meta http-equiv="content-script-type" content="text/javascript">
6<meta http-equiv="content-style-type" content="text/css">
7<meta name="author" content="Eric Lafortune">
8<meta name="description" content="ProGuard: java shrinker, optimizer, obfuscator, and preverifier">
9<meta name="keywords" content="java obfuscator, optimizer, shrinker, preverfier">
10<link rel="stylesheet" type="text/css" href="style.css">
11<link rel="shortcut icon" type="image/x-icon" href="favicon.ico">
12<title>ProGuard</title>
13</head>
14
15<script type="text/javascript" language="JavaScript">
16//<!--
17  var destWindowHash = window.location.hash;
18  function mainFrameLoaded() {
19    if (destWindowHash.length > 1) {
20      var destFrameFile = destWindowHash.substring(1);
21      var currFrameFile = frames["main"].location.href.replace(window.location.href.replace(/index.html.*/, ""), "");
22      if (currFrameFile != destFrameFile) {
23        frames["main"].location.replace(destFrameFile);
24        if (destFrameFile.search("manual/") >= 0)
25          frames["sections"].location.replace("manual/sections.html");
26      }
27      destWindowHash = "";
28    }
29  }
30//-->
31</script>
32
33<frameset
34 rows="50,*"
35 framespacing="0"
36 frameborder="no">
37
38<frame
39 id="title"
40 name="title"
41 src="title.html"
42 scrolling="no"
43 marginwidth="0"
44 marginheight="0"
45 noresize="noresize" />
46
47<frameset
48 cols="120,*"
49 framespacing="0"
50 frameborder="no">
51
52<frame
53 id="sections"
54 name="sections"
55 src="sections.html"
56 scrolling="no"
57 marginwidth="0"
58 marginheight="0"
59 noresize="noresize" />
60
61<frame
62 id="main"
63 name="main"
64 src="main.html"
65 scrolling="auto"
66 marginwidth="10"
67 marginheight="10"
68 noresize="noresize"
69 onload="mainFrameLoaded()" />
70
71</frameset>
72</frameset>
73
74<noframes>
75<body>
76<p class="intro">
77<b>ProGuard</b> is a free Java class file shrinker, optimizer, obfuscator, and
78preverifier. It detects and removes unused classes, fields, methods, and
79attributes. It optimizes bytecode and removes unused instructions. It renames
80the remaining classes, fields, and methods using short meaningless names.
81Finally, it preverifies the processed code for Java 6 or for Java Micro
82Edition.
83</p>
84<p>
85Your browser doesn't support frames, but that's cool.
86<p>
87You can go straight to the <a href="main.html">main page</a>.
88
89<hr />
90<address>
91Copyright &copy; 2002-2013
92<a target="other" href="http://www.lafortune.eu/">Eric Lafortune</a>.
93</address>
94</body>
95</noframes>
96</html>
97