Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Update readme.md

  • Loading branch information...
commit d52453da13724de1357f766568f79e98dd2ad661 1 parent ce54e59
@calebegg authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  readme.md
View
2  readme.md
@@ -3,7 +3,7 @@
**Note:** These instructions assume you're using Eclipse. It's probably possible to do most/all of this without it, but it might not be worth the trouble.
1. Download the Proof Pad source from one of the methods provided above.
-2. Download [rsyntaxtextarea.jar](http://www.calebegg.com/files/rsyntaxtextarea.jar) and add it to the build path. If that doesn't work, you might need to [compile it yourself](http://sourceforge.net/projects/rsyntaxtextarea/?_test=b) yourself.
+2. Download [rsyntaxtextarea.jar](http://www.calebegg.com/files/rsyntaxtextarea.jar) and add it to the build path. If that doesn't work, you might need to [compile it yourself](http://sourceforge.net/projects/rsyntaxtextarea/?_test=b).
3. Download a jar for [`Xstream`](http://xstream.codehaus.org/download.html) and add it to the build path.
4. If you're not on OS X, download [Orange Extensions](http://ymasory.github.com/OrangeExtensions/) and add that to the build path. (Orange stubs out the OS X specific function calls so that the OS X specific code doesn't have to be removed to compile on Windows/Linux. You could, alternatively, comment out the large block of code in Main.java surrounded by `if (isMac)`.)
5. Download [ACL2](http://acl2s.ccs.neu.edu/acl2s/update/images/) for your platform and unzip it somewhere.
Please sign in to comment.
Something went wrong with that request. Please try again.