ECAI2014 branch
ECAI2014 branch
added basics to the ecai paper
All files for the ECAI paper
Added more definitions
Description of replace projected single added
repaired some symbols
the hyrogliph fonts
Bunch of pictures of logistics dependency graph.
Added a better font and finished replace proj single, and started replace proj double
added the proof of all lemmas in Charles' paper
Finished all the proofs, needs one more revision
finished all proofs v1, added reqiored figures for the proofs
Not sure, I did some merging...
Merge branch 'writing_the_ECAI2014_paper' of https://github.com/mabdula/planning into writing_the_ECAI2014_paper
Remove generated ecai2014.pdf from repo; git-ignore it.
Trying to get repo to build ECAI paper.
Make makefile first call make in HieroTeX directory
Make paper build without hieroglyphics for the moment
Make Makefile lineendings Unix; make clean removes ecai2014.tex