Name Last modified Size Description
Parent Directory - math/ 2016-11-28 14:47 - proposal-math-plain...> 2016-11-28 14:47 111 plans-bib.aux 2016-10-24 16:12 175 search-bib.aux 2016-04-08 15:36 176 choices-bib.aux 2016-10-24 16:12 177 lang-bib.aux 2016-10-24 16:12 178 opal.bib 2016-06-29 14:16 284 opal-bib.aux 2016-10-24 16:12 298 opal-bib.final.aux 2016-10-24 16:12 298 opal-bib.bib.json 2016-06-29 14:16 532 plans-math-full.tex 2016-10-24 16:12 587 report-math-full.tex 2016-10-24 16:12 588 proposal-math-full.f..> 2016-11-28 14:47 651 proposal-math-plain.aux 2016-11-28 14:47 659 report-math-plain.tex 2016-10-24 16:12 707 opal-bib.bbl.mdk 2016-06-29 14:16 715 plans-math-plain.tex 2016-10-24 16:12 811 proposal-math-plain.dim 2016-11-28 14:47 1.0K proposal-bib.aux 2016-11-28 14:47 1.4K proposal-bib.final.aux 2016-11-28 14:47 1.4K proposal-math-plain...> 2016-11-28 14:47 2.3K proposal.bib 2016-11-28 14:47 7.6K ellipse.sty 2015-11-14 17:21 9.7K madoko.css 2015-11-14 17:21 9.8K proposal-math-plain.dvi 2016-11-28 14:47 12K features.html 2016-10-24 16:12 13K proposal-bib.bib.json 2016-11-28 14:47 13K proposal-bib.bbl.mdk 2016-11-28 14:47 14K plans.html 2016-10-24 16:12 15K search.html 2016-10-24 16:12 16K paper-structure.html 2016-10-24 16:12 16K proposal.dimx 2016-11-28 14:47 17K incremental.html 2016-10-24 16:12 23K proposal-math-plain.log 2016-11-28 14:47 27K longbox.sty 2016-01-26 17:31 30K choices.html 2016-10-24 16:12 31K madoko2.sty 2016-10-24 16:12 39K lang.html 2016-10-24 16:12 43K report.html 2016-10-24 16:12 48K options.sty 2016-01-26 17:31 49K opal.html 2016-10-24 16:12 52K goals.html 2016-10-24 16:12 54K longfbox.sty 2016-01-26 17:31 59K proposal.html 2016-11-28 14:47 154K
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.