+## Notes ##
+
+* We were updating this page vigorously until about 2:30 pm on Saturday 31
+January. Now it is relatively stable, but we'll tweak it as we learn more. We
+encourage you to try to get the software set up sooner rather than later, and
+those who do so first should let us know how things go---whether it's smoothly
+or not---so that we might possibly refine or expand the instructions for
+others. It'd be great if you took careful notes of what you did, step by step.
+If our instructions are broken or misleading or incomplete, and you figure out
+how to fix them on your own, it'd also be great if you can tell us what went
+wrong and exactly what you did to achieve joy.
+
+* If you're using a Mac without the MacPorts package management system (on which
+see below), then I think we can customize these directions so that everything
+gets installed to your user directory, rather than to the system directories. This
+reduces the chances of anything getting messed up, and makes it easier to remove
+the software later. *Right now the instructions don't do this, but I'll be editing them
+over the next hour or so to make them do it.*
+
+
## Identifying your system ##
We'll assume you're using either Mac OS X, or Windows, or Linux.
* **To install on Mac without MacPorts**
- The people in charge of OCaml (they're at the French research institute INRIA) have stopped making pre-built packages for Mac OS X. One option you have is to use their package for a slightly older version of OCaml, 4.01.1 from Sept. 2013. You can find that as a "Precompiled binary for Mac OS X" on [this page](http://ocaml.org/releases/4.01.0.html).
+ The people in charge of OCaml (they're at the French research institute INRIA) have stopped making pre-built packages for Mac OS X. One option you have is to use their package for a slightly older version of OCaml, 4.01.1 from Sept. 2013. You can find that as a "Precompiled binary for Mac OS X" on [this page](http://ocaml.org/releases/4.01.0.html). If, when you attempt to install this package, you get an error about its being from an "unidentified developer," you need to control-click on the `ocaml.pkg` file and select "Open", then when the warning box appears again, this time there will be an "Open" button that you can click. Then you can continue running the Installer.
A second option is to install the OPAM package manager and use that to build and install the latest version of OCaml. Here's how to do that:
2. Open a terminal and type:
sudo mkdir -p /usr/local/bin
- sh /path/to/opam_installer.sh /usr/local/bin
+ sudo sh /path/to/opam_installer.sh /usr/local/bin
Except replace `/path/to` with the real location, that you noted in step 1.
+ 3. If that works, then type:
+
+ opan init --comp 4.01.0
+
+ or whatever it was that the OPAM installer prompted you to type. This will download and install a fresh version of OCaml, and will take a bit of time.
+
<!--
If you do have Xcode, and want to do without MacPorts, then
what you need to do is download Findlib from
you a nice history of the commands you've already typed, which you can scroll up and down in with your
keyboard arrows.
-**After using any of those methods**, if you managed to install OPAM along with OCaml, then open a Terminal and type this:
-
- echo "will be posted shortly"
## Getting Haskell ##