Name Last modified Size Description
Parent Directory - proposal.html 2016-11-28 14:47 154K longfbox.sty 2016-01-26 17:31 59K goals.html 2016-10-24 16:12 54K opal.html 2016-10-24 16:12 52K options.sty 2016-01-26 17:31 49K report.html 2016-10-24 16:12 48K lang.html 2016-10-24 16:12 43K madoko2.sty 2016-10-24 16:12 39K choices.html 2016-10-24 16:12 31K longbox.sty 2016-01-26 17:31 30K proposal-math-plain.log 2016-11-28 14:47 27K incremental.html 2016-10-24 16:12 23K proposal.dimx 2016-11-28 14:47 17K paper-structure.html 2016-10-24 16:12 16K search.html 2016-10-24 16:12 16K plans.html 2016-10-24 16:12 15K proposal-bib.bbl.mdk 2016-11-28 14:47 14K proposal-bib.bib.json 2016-11-28 14:47 13K features.html 2016-10-24 16:12 13K proposal-math-plain.dvi 2016-11-28 14:47 12K madoko.css 2015-11-14 17:21 9.8K ellipse.sty 2015-11-14 17:21 9.7K proposal.bib 2016-11-28 14:47 7.6K proposal-math-plain...> 2016-11-28 14:47 2.3K proposal-bib.final.aux 2016-11-28 14:47 1.4K proposal-bib.aux 2016-11-28 14:47 1.4K proposal-math-plain.dim 2016-11-28 14:47 1.0K plans-math-plain.tex 2016-10-24 16:12 811 opal-bib.bbl.mdk 2016-06-29 14:16 715 report-math-plain.tex 2016-10-24 16:12 707 proposal-math-plain.aux 2016-11-28 14:47 659 proposal-math-full.f..> 2016-11-28 14:47 651 report-math-full.tex 2016-10-24 16:12 588 plans-math-full.tex 2016-10-24 16:12 587 opal-bib.bib.json 2016-06-29 14:16 532 opal-bib.final.aux 2016-10-24 16:12 298 opal-bib.aux 2016-10-24 16:12 298 opal.bib 2016-06-29 14:16 284 lang-bib.aux 2016-10-24 16:12 178 choices-bib.aux 2016-10-24 16:12 177 search-bib.aux 2016-04-08 15:36 176 plans-bib.aux 2016-10-24 16:12 175 proposal-math-plain...> 2016-11-28 14:47 111 math/ 2016-11-28 14:47 -
To build the paper, you'll need LaTeX, of course, but also Madoko:
npm install -g madoko. (npm is the package manager for Node.)
Now you can build the paper by typing make in this docs directory. You can also use make view to also open the resulting PDF, pdf/opal.pdf, for viewing.
Madoko can also output HTML if you're into that; just type make html or make view-html.