For some reason the Java Build Path does not survive export & import, so you have to fix the following:

Menu Project > Properties > Java Build Path >

Under "Source" there should be "terse-a1/gen" & "terse-a1/src"

Under "Projects" there should be "terse-vm"

Under "Libraries" there should be "Android 2.1" & "com.android.ide.eclipse.adt.LIBRARIES"

Under "Order and Export" there should be all of the above. Click "Select All".

Also under "Order and Export", "terse-vm" should not be last; it should be Third, after "terse-a1/src" and "terse-a1/gen". Move it up, if you need to.

Click [OK] to save.

Do Ctrl-F11 in TerseActivity.java again.

If it asks, tell it to run as "Android Application".

You should be able to see your plugged-in phone here:

~/android-sdks/platform-tools/adb devices

It needs to have "USB Debugging" enabled under developer options.

EDITING PRELUDE.TXT AND RECOMPILING

Right now, we're editing ".../terse-vm/prelude.txt" with "vi" to add classes and test stuff.

We suggest you cd to ".../terse-vm/src/terse/vm" to work.

From there, edit "../../../prelude.txt" to edit the prelude. Always edit the prelude.txt which is in the "terse-vm" project; the other prelude.txt files are automated copies of it.

After an edit of either the prelude or a .java file, run "make" (from that same directory).

Then in eclipse, in the "Java" perspective, in the "Package Explorer", open "terse-a1" and click "res" to hilight it. Hit F5 (or use middle-click, "Refresh" on it).

Then in terse-a1 > src > terse.a1, double-click TerseActivity.java. Hit Ctrl-F11 to run the app on your phone.
(First, in a terminal shell, you can check that your phone is visible, by running "~/android-sdks/platform-tools/adb device".)

SETTING UP GIT

Install the git commands. They may be part of some GUI package, I don't care.

Make a new directory to hold the projects, "cd" to the directory, and run "git init".