cross-compiling version of ocamlc which correctly links bytecode for real iPads (but not simulators!)
split path-related functions to pathmap.ml
various changes on build script. (1) link coqlib.byte by my ocamlc_arm and (2) remove dependency to coqmktop -a
changed workdir to cache and so on
remove unneeded file references
oops
run OCaml part within GCD queue
use progress bar
fix: initals were compiled twice
reorder
switch to master-detail style
remove Core Data dependencies
very simple file manager UI
"eval" evals the first line of the text view.