├── test ├── new │ ├── escaped_angles.text │ ├── escaped_angles.html │ ├── gfm-del.text │ ├── lazy_blockquotes.text │ ├── not_a_link.text │ ├── gfm-del.html │ ├── not_a_link.html │ ├── same_bullet.text │ ├── gfm-em.text │ ├── nested_code.text │ ├── nested_square_link.text │ ├── ref_paren.text │ ├── case_insensitive_refs.html │ ├── case_insensitive_refs.text │ ├── nested_code.html │ ├── autolink_lines.text │ ├── gfm-em.html │ ├── gfm_break_text.text │ ├── ref_paren.html │ ├── extra_smartypants.text │ ├── gfm_break_text.html │ ├── gfm_links.text │ ├── list_item_text.text │ ├── hr_list_break.text │ ├── nested_square_link.html │ ├── butterfly.png │ ├── lazy_blockquotes.html │ ├── same_bullet.html │ ├── list_item_text.html │ ├── blockquote_list_item.text │ ├── mathdefs.tex │ ├── autolink_lines.html │ ├── extra_smartypants.html │ ├── javascript5.json │ ├── math-error1.mdk │ ├── gfm_links.html │ ├── blockquote_list_item.html │ ├── hr_list_break.html │ ├── extra_math2.mdk │ ├── tricky_list.text │ ├── double_link.text │ ├── pedantic_def_blocks.text │ ├── xjavascript.js │ ├── double_link.html │ ├── gfm_code.text │ ├── gfm_code.html │ ├── include.text │ ├── pedantic_def_blocks.html │ ├── extra_auto_counters.text │ ├── extra_auto_counters2.text │ ├── inline_code.text │ ├── tricky_list.html │ ├── extra_fib.text │ ├── extra_auto_labels.text │ ├── extra_para.text │ ├── extra_title.text │ ├── toplevel_paragraphs.text │ ├── extra_sup_sub.text │ ├── hilite2.text │ ├── extra_codereplacer.text │ ├── extra_toc.text │ ├── gfm_tables.text │ ├── math-pre.text │ ├── extra_sup_sub.html │ ├── math-error2.mdk │ ├── toplevel_paragraphs.html │ ├── lists.mdk │ ├── extra_lists.text │ ├── gfm-code_hr_list.text │ ├── extra_footnotes.text │ ├── borders.text │ ├── extra_boxes.text │ ├── gfm-code_hr_list.html │ ├── extra_auto_labels.html │ ├── extra_ski.text │ ├── main.html │ ├── main.text │ ├── extra_attributes.text │ ├── extra_fib.html │ ├── extra_auto_counters.html │ ├── gfm_tables.html │ ├── extra_things.text │ ├── anatomy.text │ ├── extra_ski.html │ ├── extra_footnotes.html │ └── extra_things.html ├── tests │ ├── escaped_angles.text │ ├── escaped_angles.html │ ├── gfm-del.text │ ├── not_a_link.text │ ├── lazy_blockquotes.text │ ├── not_a_link.html │ ├── gfm-del.html │ ├── nested_code.text │ ├── ref_paren.text │ ├── same_bullet.text │ ├── case_insensitive_refs.text │ ├── gfm-em.text │ ├── nested_square_link.text │ ├── autolink_lines.text │ ├── case_insensitive_refs.html │ ├── gfm-em.html │ ├── nested_code.html │ ├── ref_paren.html │ ├── extra_smartypants.text │ ├── gfm_break_text.text │ ├── nested_blockquotes.text │ ├── gfm_break_text.html │ ├── list_item_text.text │ ├── gfm_links.text │ ├── nested_square_link.html │ ├── hr_list_break.text │ ├── lazy_blockquotes.html │ ├── same_bullet.html │ ├── list_item_text.html │ ├── blockquote_list_item.text │ ├── autolink_lines.html │ ├── extra_smartypants.html │ ├── tidyness.text │ ├── gfm_links.html │ ├── blockquote_list_item.html │ ├── hr_list_break.html │ ├── strong_and_em_together.text │ ├── literal_quotes_in_titles.text │ ├── nested_blockquotes.html │ ├── tidyness.html │ ├── code_spans.text │ ├── literal_quotes_in_titles.html │ ├── blockquotes_with_code_blocks.text │ ├── tricky_list.text │ ├── double_link.text │ ├── inline_html_advanced.text │ ├── pedantic_def_blocks.text │ ├── inline_html_comments.text │ ├── inline_html_advanced.html │ ├── strong_and_em_together.html │ ├── code_spans.html │ ├── hard_wrapped_paragraphs_with_list_like_lines.text │ ├── inline_html_comments.html │ ├── code_blocks.text │ ├── double_link.html │ ├── hard_wrapped_paragraphs_with_list_like_lines.html │ ├── blockquotes_with_code_blocks.html │ ├── gfm_code.text │ ├── links_inline_style.text │ ├── links_shortcut_references.html │ ├── auto_links.text │ ├── links_shortcut_references.text │ ├── gfm_code.html │ ├── pedantic_def_blocks.html │ ├── extra_auto_counters.text │ ├── code_blocks.html │ ├── tabs.text │ ├── links_inline_style.html │ ├── tricky_list.html │ ├── extra_fib.text │ ├── extra_auto_labels.text │ ├── amps_and_angles_encoding.text │ ├── toplevel_paragraphs.text │ ├── tabs.html │ ├── extra_sup_sub.text │ ├── extra_toc.text │ ├── horizontal_rules.text │ ├── gfm_tables.text │ ├── amps_and_angles_encoding.html │ ├── auto_links.html │ ├── extra_sup_sub.html │ ├── toplevel_paragraphs.html │ ├── horizontal_rules.html │ ├── gfm-code_hr_list.text │ ├── extra_footnotes.text │ ├── inline_html_simple.text │ ├── gfm-code_hr_list.html │ ├── extra_things.text │ ├── inline_html_simple.html │ ├── links_reference_style.text │ ├── extra_auto_labels.html │ ├── extra_ski.text │ ├── main.html │ ├── main.text │ ├── extra_attributes.text │ ├── extra_fib.html │ ├── extra_auto_counters.html │ ├── links_reference_style.html │ ├── gfm_tables.html │ ├── extra_ski.html │ ├── extra_footnotes.html │ ├── ordered_and_unordered_lists.text │ └── extra_things.html ├── parent-inc.mdk ├── test.bib ├── latex │ ├── test1.mdk │ ├── cc-by.pdf │ ├── images │ │ ├── arrow.png │ │ └── butterfly.png │ ├── lipics-logo-bw.pdf │ ├── style │ │ ├── lncs.mdk │ │ └── ieee.mdk │ ├── include with spaces.mdk │ ├── parent-dirs.mdk │ ├── unicode-math.mdk │ ├── float.mdk │ ├── chinese.mdk │ ├── basic - Copy.mdk │ └── csl │ │ └── nature-biotechnology.csl ├── original │ ├── nested_blockquotes.text │ ├── tidyness.text │ ├── strong_and_em_together.text │ ├── literal_quotes_in_titles.text │ ├── nested_blockquotes.html │ ├── tidyness.html │ ├── literal_quotes_in_titles.html │ ├── code_spans.text │ ├── blockquotes_with_code_blocks.text │ ├── inline_html_advanced.text │ ├── inline_html_comments.text │ ├── code_spans.html │ ├── inline_html_advanced.html │ ├── strong_and_em_together.html │ ├── hard_wrapped_paragraphs_with_list_like_lines.text │ ├── inline_html_comments.html │ ├── code_blocks.text │ ├── hard_wrapped_paragraphs_with_list_like_lines.html │ ├── blockquotes_with_code_blocks.html │ ├── links_inline_style.text │ ├── links_shortcut_references.html │ ├── auto_links.text │ ├── links_shortcut_references.text │ ├── code_blocks.html │ ├── tabs.text │ ├── links_inline_style.html │ ├── amps_and_angles_encoding.text │ ├── tabs.html │ ├── amps_and_angles_encoding.html │ ├── horizontal_rules.text │ ├── auto_links.html │ ├── horizontal_rules.html │ ├── inline_html_simple.text │ ├── inline_html_simple.html │ ├── links_reference_style.text │ ├── links_reference_style.html │ └── ordered_and_unordered_lists.text ├── butterfly.png ├── contrib │ └── images │ │ ├── arrow.png │ │ └── butterfly.png ├── readme.txt ├── math │ └── small.mdk └── example.bib ├── styles ├── present.mdk ├── tex-nostarsections.mdk ├── tex-chapters.mdk ├── book.mdk ├── zero.mdk ├── webanchors.mdk └── bootstrap.mdk ├── src ├── cli.js ├── version.kk ├── toc.kk ├── storage-inline.cs ├── process.kk ├── process-inline.js ├── runcsl.kk └── texCommon.kk ├── doc ├── aargh.png ├── arrow.png ├── tooltip.png ├── butterfly.png ├── aligned-code.png ├── koka-doc-md.png ├── koka-doc-pdf.png ├── aligned-code2.png ├── koka-doc-html.png ├── slidedemo-html.png ├── slidedemo-mdk.png ├── slidedemo-pdf.png ├── javascript5.json ├── ignores.dic ├── reference.bib └── reference.js ├── support ├── madoko-local │ ├── src │ │ ├── cli.js │ │ ├── config.js │ │ └── date.js │ ├── static │ │ ├── images │ │ │ └── icon-madoko.ico │ │ ├── index.html │ │ └── styles │ │ │ └── main.css │ └── package.json └── sublime-text │ └── madoko │ └── madoko.sublime-settings ├── web ├── cache-template.txt ├── client │ ├── dictionaries │ │ ├── en_US │ │ │ └── en_US_extra.dic │ │ └── generic.dic │ ├── images │ │ ├── icon-me.png │ │ ├── icon-new.png │ │ ├── icon-pdf.png │ │ ├── icon-pin.png │ │ ├── icon-zip.png │ │ ├── glyph-error.png │ │ ├── icon-azure.png │ │ ├── icon-cloud.png │ │ ├── icon-commit.png │ │ ├── icon-disk.png │ │ ├── icon-empty.png │ │ ├── icon-file.png │ │ ├── icon-folder.png │ │ ├── icon-github.png │ │ ├── icon-home.png │ │ ├── icon-html.png │ │ ├── icon-http.png │ │ ├── icon-link.png │ │ ├── icon-local.png │ │ ├── icon-local2.png │ │ ├── icon-madoko.ico │ │ ├── icon-madoko.png │ │ ├── icon-open.png │ │ ├── icon-plus.png │ │ ├── icon-pull.png │ │ ├── icon-pull2.png │ │ ├── icon-reload.png │ │ ├── icon-save.png │ │ ├── icon-share.png │ │ ├── icon-signin.png │ │ ├── icon-sync.png │ │ ├── icon-unpin.png │ │ ├── icon-upload.png │ │ ├── dark │ │ │ ├── icon-me.png │ │ │ ├── button-help.png │ │ │ ├── button-sync.png │ │ │ ├── icon-close.png │ │ │ ├── icon-disk.png │ │ │ ├── icon-github.png │ │ │ ├── icon-home.png │ │ │ ├── icon-http.png │ │ │ ├── icon-local.png │ │ │ ├── icon-madoko.png │ │ │ ├── icon-upload.png │ │ │ ├── icon-users.png │ │ │ ├── button-folder.png │ │ │ ├── icon-dropbox.png │ │ │ ├── icon-onedrive.png │ │ │ ├── icon-spinner.png │ │ │ ├── icon-toolbox.png │ │ │ ├── icon-tri-down.png │ │ │ ├── icon-warning.png │ │ │ ├── spinner-sync.gif │ │ │ ├── spinner-view.gif │ │ │ ├── button-console.png │ │ │ ├── button-document.png │ │ │ ├── button-settings.png │ │ │ ├── button-view-sync.png │ │ │ ├── icon-disconnect.png │ │ │ ├── icon-localhost.png │ │ │ ├── icon-onedrive2.png │ │ │ ├── icon-onedrivepro.png │ │ │ ├── icon-user-write.png │ │ │ ├── icon-users-edit.png │ │ │ ├── icon-view-full.png │ │ │ ├── button-console-ok.png │ │ │ └── button-console-warn.png │ │ ├── glyph-warning.png │ │ ├── icon-dropbox.png │ │ ├── icon-onedrive.png │ │ ├── icon-signout.png │ │ ├── icon-snapshot.png │ │ ├── icon-spinner.gif │ │ ├── icon-tool-dl.png │ │ ├── icon-tool-img.png │ │ ├── icon-tool-ol.png │ │ ├── icon-tool-pre.png │ │ ├── icon-tool-sub.png │ │ ├── icon-tool-ul.png │ │ ├── template-ieee.png │ │ ├── template-lncs.png │ │ ├── icon-disconnect.png │ │ ├── icon-file-shared.png │ │ ├── icon-folder-repo.png │ │ ├── icon-localhost.png │ │ ├── icon-onedrive2.png │ │ ├── icon-onedrivepro.png │ │ ├── icon-tool-bold.png │ │ ├── icon-tool-bquote.png │ │ ├── icon-tool-camera.png │ │ ├── icon-tool-cite.png │ │ ├── icon-tool-code.png │ │ ├── icon-tool-color.png │ │ ├── icon-tool-figure.png │ │ ├── icon-tool-font.png │ │ ├── icon-tool-format.png │ │ ├── icon-tool-italic.png │ │ ├── icon-tool-link.png │ │ ├── icon-tool-redo.png │ │ ├── icon-tool-repo.png │ │ ├── icon-tool-super.png │ │ ├── icon-tool-symbol.png │ │ ├── icon-tool-table.png │ │ ├── icon-tool-undo.png │ │ ├── icon-user-open.png │ │ ├── icon-user-read.png │ │ ├── icon-user-write.png │ │ ├── icon-view-narrow.png │ │ ├── icon-view-normal.png │ │ ├── icon-view-wide.png │ │ ├── madoko-logo-256.png │ │ ├── madoko-logo-64.png │ │ ├── template-acmart.png │ │ ├── template-article.png │ │ ├── template-bookm.png │ │ ├── template-default.png │ │ ├── template-lipics.png │ │ ├── template-webpage.png │ │ ├── icon-folder-branch.png │ │ ├── icon-folder-owner.png │ │ ├── icon-folder-shared.png │ │ ├── icon-tool-fontsize.png │ │ ├── icon-tool-formula.png │ │ ├── icon-tool-heading.png │ │ ├── icon-tool-justify.png │ │ ├── icon-tool-aligncenter.png │ │ ├── icon-tool-alignleft.png │ │ ├── icon-tool-alignright.png │ │ ├── icon-tool-figureright.png │ │ ├── icon-tool-figurewide.png │ │ ├── icon-tool-figurewide2.png │ │ ├── icon-tool-reference.png │ │ ├── icon-tool-underline.png │ │ ├── template-presentation.png │ │ ├── template-sigplanconf.png │ │ └── icon-folder-repo-shared.png │ └── preview │ │ └── preview.html ├── maintenance │ └── index.html ├── cache-config.json ├── encode.js └── package.json ├── contrib ├── images │ ├── arrow.png │ └── butterfly.png ├── templates │ ├── cc-by.pdf │ ├── lipics-logo-bw.pdf │ ├── style │ │ ├── lncs.mdk │ │ └── ieee.mdk │ ├── default.mdk │ ├── acmclassify.mdk │ └── example.bib ├── dictionaries │ └── en_US │ │ └── README.md ├── styles │ └── example.bib └── typo │ └── license.txt ├── .hgignore ├── .gitignore └── package.json /test/new/escaped_angles.text: -------------------------------------------------------------------------------- 1 | \> 2 | -------------------------------------------------------------------------------- /test/tests/escaped_angles.text: -------------------------------------------------------------------------------- 1 | \> 2 | -------------------------------------------------------------------------------- /styles/present.mdk: -------------------------------------------------------------------------------- 1 | [INCLUDE=presentation] -------------------------------------------------------------------------------- /test/new/escaped_angles.html: -------------------------------------------------------------------------------- 1 |
>
2 | -------------------------------------------------------------------------------- /test/tests/escaped_angles.html: -------------------------------------------------------------------------------- 1 |>
2 | -------------------------------------------------------------------------------- /test/new/gfm-del.text: -------------------------------------------------------------------------------- 1 | hello ~~hi~~ world 2 | -------------------------------------------------------------------------------- /test/parent-inc.mdk: -------------------------------------------------------------------------------- 1 | A **parent** include file. -------------------------------------------------------------------------------- /test/tests/gfm-del.text: -------------------------------------------------------------------------------- 1 | hello ~~hi~~ world 2 | -------------------------------------------------------------------------------- /test/new/lazy_blockquotes.text: -------------------------------------------------------------------------------- 1 | > hi there 2 | bud 3 | -------------------------------------------------------------------------------- /test/new/not_a_link.text: -------------------------------------------------------------------------------- 1 | \\[test](not a link) 2 | -------------------------------------------------------------------------------- /test/tests/not_a_link.text: -------------------------------------------------------------------------------- 1 | \\[test](not a link) 2 | -------------------------------------------------------------------------------- /test/new/gfm-del.html: -------------------------------------------------------------------------------- 1 |hello hi world
\[test](not a link)
2 | -------------------------------------------------------------------------------- /test/new/same_bullet.text: -------------------------------------------------------------------------------- 1 | * test 2 | + test 3 | - test 4 | -------------------------------------------------------------------------------- /test/tests/lazy_blockquotes.text: -------------------------------------------------------------------------------- 1 | > hi there 2 | bud 3 | -------------------------------------------------------------------------------- /test/tests/not_a_link.html: -------------------------------------------------------------------------------- 1 |\[test](not a link)
2 | -------------------------------------------------------------------------------- /test/new/gfm-em.text: -------------------------------------------------------------------------------- 1 | These words should_not_be_emphasized. 2 | -------------------------------------------------------------------------------- /test/new/nested_code.text: -------------------------------------------------------------------------------- 1 | ````` hi ther `` ok ``` ````` 2 | -------------------------------------------------------------------------------- /test/new/nested_square_link.text: -------------------------------------------------------------------------------- 1 | [the `]` character](/url) 2 | -------------------------------------------------------------------------------- /test/new/ref_paren.text: -------------------------------------------------------------------------------- 1 | [hi] 2 | 3 | [hi]: /url (there) 4 | -------------------------------------------------------------------------------- /test/tests/gfm-del.html: -------------------------------------------------------------------------------- 1 |hello hi world
hi ther `` ok ```
These words should_not_be_emphasized.
2 | -------------------------------------------------------------------------------- /test/new/gfm_break_text.text: -------------------------------------------------------------------------------- 1 | Look at the 2 | pretty line 3 | breaks. 4 | -------------------------------------------------------------------------------- /test/new/ref_paren.html: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/tests/autolink_lines.text: -------------------------------------------------------------------------------- 1 | hello world 2 |These words should_not_be_emphasized.
2 | -------------------------------------------------------------------------------- /test/tests/nested_code.html: -------------------------------------------------------------------------------- 1 |hi ther `` ok ```
Look at the
pretty line
breaks.
Look at the
pretty line
breaks.
2 |5 | -------------------------------------------------------------------------------- /test/new/same_bullet.html: -------------------------------------------------------------------------------- 1 |hi there 3 | bud
4 |
2 |5 | -------------------------------------------------------------------------------- /web/cache-template.txt: -------------------------------------------------------------------------------- 1 | NETWORK: 2 | * 3 | 4 | FALLBACK: 5 | 6 | CACHE: 7 | version.json -------------------------------------------------------------------------------- /web/client/dictionaries/en_US/en_US_extra.dic: -------------------------------------------------------------------------------- 1 | app/S 2 | offline 3 | online 4 | plugin/S 5 | UI -------------------------------------------------------------------------------- /contrib/images/arrow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/contrib/images/arrow.png -------------------------------------------------------------------------------- /test/new/list_item_text.html: -------------------------------------------------------------------------------- 1 |hi there 3 | bud
4 |
item1
text
item1
text
hello world 2 | http://example.com 3 |
4 | -------------------------------------------------------------------------------- /test/tests/blockquote_list_item.text: -------------------------------------------------------------------------------- 1 | This fails in markdown.pl and upskirt: 2 | 3 | * hello 4 | > world 5 | -------------------------------------------------------------------------------- /web/client/images/icon-me.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-me.png -------------------------------------------------------------------------------- /web/client/images/icon-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-new.png -------------------------------------------------------------------------------- /web/client/images/icon-pdf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-pdf.png -------------------------------------------------------------------------------- /web/client/images/icon-pin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-pin.png -------------------------------------------------------------------------------- /web/client/images/icon-zip.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-zip.png -------------------------------------------------------------------------------- /test/contrib/images/butterfly.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/test/contrib/images/butterfly.png -------------------------------------------------------------------------------- /test/latex/images/butterfly.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/test/latex/images/butterfly.png -------------------------------------------------------------------------------- /test/tests/autolink_lines.html: -------------------------------------------------------------------------------- 1 |hello world 2 | http://example.com 3 |
4 | -------------------------------------------------------------------------------- /web/client/images/glyph-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/glyph-error.png -------------------------------------------------------------------------------- /web/client/images/icon-azure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-azure.png -------------------------------------------------------------------------------- /web/client/images/icon-cloud.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-cloud.png -------------------------------------------------------------------------------- /web/client/images/icon-commit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-commit.png -------------------------------------------------------------------------------- /web/client/images/icon-disk.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-disk.png -------------------------------------------------------------------------------- /web/client/images/icon-empty.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-empty.png -------------------------------------------------------------------------------- /web/client/images/icon-file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-file.png -------------------------------------------------------------------------------- /web/client/images/icon-folder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-folder.png -------------------------------------------------------------------------------- /web/client/images/icon-github.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-github.png -------------------------------------------------------------------------------- /web/client/images/icon-home.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-home.png -------------------------------------------------------------------------------- /web/client/images/icon-html.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-html.png -------------------------------------------------------------------------------- /web/client/images/icon-http.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-http.png -------------------------------------------------------------------------------- /web/client/images/icon-link.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-link.png -------------------------------------------------------------------------------- /web/client/images/icon-local.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-local.png -------------------------------------------------------------------------------- /web/client/images/icon-local2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-local2.png -------------------------------------------------------------------------------- /web/client/images/icon-madoko.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-madoko.ico -------------------------------------------------------------------------------- /web/client/images/icon-madoko.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-madoko.png -------------------------------------------------------------------------------- /web/client/images/icon-open.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-open.png -------------------------------------------------------------------------------- /web/client/images/icon-plus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-plus.png -------------------------------------------------------------------------------- /web/client/images/icon-pull.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-pull.png -------------------------------------------------------------------------------- /web/client/images/icon-pull2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-pull2.png -------------------------------------------------------------------------------- /web/client/images/icon-reload.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-reload.png -------------------------------------------------------------------------------- /web/client/images/icon-save.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-save.png -------------------------------------------------------------------------------- /web/client/images/icon-share.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-share.png -------------------------------------------------------------------------------- /web/client/images/icon-signin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-signin.png -------------------------------------------------------------------------------- /web/client/images/icon-sync.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-sync.png -------------------------------------------------------------------------------- /web/client/images/icon-unpin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-unpin.png -------------------------------------------------------------------------------- /web/client/images/icon-upload.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-upload.png -------------------------------------------------------------------------------- /test/new/extra_smartypants.html: -------------------------------------------------------------------------------- 1 | 2 |Hello world ‘how’ “are” you – today… 3 |
-------------------------------------------------------------------------------- /test/tests/extra_smartypants.html: -------------------------------------------------------------------------------- 1 | 2 |Hello world ‘how’ “are” you – today… 3 |
-------------------------------------------------------------------------------- /test/tests/tidyness.text: -------------------------------------------------------------------------------- 1 | > A list within a blockquote: 2 | > 3 | > * asterisk 1 4 | > * asterisk 2 5 | > * asterisk 3 6 | -------------------------------------------------------------------------------- /web/client/images/dark/icon-me.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-me.png -------------------------------------------------------------------------------- /web/client/images/glyph-warning.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/glyph-warning.png -------------------------------------------------------------------------------- /web/client/images/icon-dropbox.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-dropbox.png -------------------------------------------------------------------------------- /web/client/images/icon-onedrive.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-onedrive.png -------------------------------------------------------------------------------- /web/client/images/icon-signout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-signout.png -------------------------------------------------------------------------------- /web/client/images/icon-snapshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-snapshot.png -------------------------------------------------------------------------------- /web/client/images/icon-spinner.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-spinner.gif -------------------------------------------------------------------------------- /web/client/images/icon-tool-dl.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-dl.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-img.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-img.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-ol.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-ol.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-pre.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-pre.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-sub.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-sub.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-ul.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-ul.png -------------------------------------------------------------------------------- /web/client/images/template-ieee.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-ieee.png -------------------------------------------------------------------------------- /web/client/images/template-lncs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-lncs.png -------------------------------------------------------------------------------- /contrib/templates/lipics-logo-bw.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/contrib/templates/lipics-logo-bw.pdf -------------------------------------------------------------------------------- /test/original/tidyness.text: -------------------------------------------------------------------------------- 1 | > A list within a blockquote: 2 | > 3 | > * asterisk 1 4 | > * asterisk 2 5 | > * asterisk 3 6 | -------------------------------------------------------------------------------- /web/client/images/dark/button-help.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-help.png -------------------------------------------------------------------------------- /web/client/images/dark/button-sync.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-sync.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-close.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-close.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-disk.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-disk.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-github.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-github.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-home.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-home.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-http.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-http.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-local.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-local.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-madoko.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-madoko.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-upload.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-upload.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-users.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-users.png -------------------------------------------------------------------------------- /web/client/images/icon-disconnect.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-disconnect.png -------------------------------------------------------------------------------- /web/client/images/icon-file-shared.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-file-shared.png -------------------------------------------------------------------------------- /web/client/images/icon-folder-repo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-folder-repo.png -------------------------------------------------------------------------------- /web/client/images/icon-localhost.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-localhost.png -------------------------------------------------------------------------------- /web/client/images/icon-onedrive2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-onedrive2.png -------------------------------------------------------------------------------- /web/client/images/icon-onedrivepro.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-onedrivepro.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-bold.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-bold.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-bquote.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-bquote.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-camera.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-camera.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-cite.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-cite.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-code.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-code.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-color.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-figure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-figure.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-font.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-font.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-format.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-format.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-italic.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-italic.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-link.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-link.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-redo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-redo.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-repo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-repo.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-super.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-super.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-symbol.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-symbol.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-table.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-undo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-undo.png -------------------------------------------------------------------------------- /web/client/images/icon-user-open.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-user-open.png -------------------------------------------------------------------------------- /web/client/images/icon-user-read.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-user-read.png -------------------------------------------------------------------------------- /web/client/images/icon-user-write.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-user-write.png -------------------------------------------------------------------------------- /web/client/images/icon-view-narrow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-view-narrow.png -------------------------------------------------------------------------------- /web/client/images/icon-view-normal.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-view-normal.png -------------------------------------------------------------------------------- /web/client/images/icon-view-wide.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-view-wide.png -------------------------------------------------------------------------------- /web/client/images/madoko-logo-256.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/madoko-logo-256.png -------------------------------------------------------------------------------- /web/client/images/madoko-logo-64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/madoko-logo-64.png -------------------------------------------------------------------------------- /web/client/images/template-acmart.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-acmart.png -------------------------------------------------------------------------------- /web/client/images/template-article.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-article.png -------------------------------------------------------------------------------- /web/client/images/template-bookm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-bookm.png -------------------------------------------------------------------------------- /web/client/images/template-default.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-default.png -------------------------------------------------------------------------------- /web/client/images/template-lipics.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-lipics.png -------------------------------------------------------------------------------- /web/client/images/template-webpage.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-webpage.png -------------------------------------------------------------------------------- /test/new/javascript5.json: -------------------------------------------------------------------------------- 1 | { 2 | "extend": "text/javascript", 3 | "extraKeywords": [ "module", "export" 4 | ] 5 | } -------------------------------------------------------------------------------- /test/new/math-error1.mdk: -------------------------------------------------------------------------------- 1 | Some paragraph 2 | 3 | ~ MathDefs 4 | [INCLUDE=mathdefs.tex] 5 | ~ 6 | 7 | A test formula $\test$. -------------------------------------------------------------------------------- /web/client/images/dark/button-folder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-folder.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-dropbox.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-dropbox.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-onedrive.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-onedrive.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-spinner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-spinner.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-toolbox.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-toolbox.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-tri-down.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-tri-down.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-warning.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-warning.png -------------------------------------------------------------------------------- /web/client/images/dark/spinner-sync.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/spinner-sync.gif -------------------------------------------------------------------------------- /web/client/images/dark/spinner-view.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/spinner-view.gif -------------------------------------------------------------------------------- /web/client/images/icon-folder-branch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-folder-branch.png -------------------------------------------------------------------------------- /web/client/images/icon-folder-owner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-folder-owner.png -------------------------------------------------------------------------------- /web/client/images/icon-folder-shared.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-folder-shared.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-fontsize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-fontsize.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-formula.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-formula.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-heading.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-heading.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-justify.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-justify.png -------------------------------------------------------------------------------- /test/new/gfm_links.html: -------------------------------------------------------------------------------- 1 |This should be a link: 2 | http://example.com/hello-world.
3 | -------------------------------------------------------------------------------- /web/client/images/dark/button-console.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-console.png -------------------------------------------------------------------------------- /web/client/images/dark/button-document.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-document.png -------------------------------------------------------------------------------- /web/client/images/dark/button-settings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-settings.png -------------------------------------------------------------------------------- /web/client/images/dark/button-view-sync.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-view-sync.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-disconnect.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-disconnect.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-localhost.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-localhost.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-onedrive2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-onedrive2.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-onedrivepro.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-onedrivepro.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-user-write.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-user-write.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-users-edit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-users-edit.png -------------------------------------------------------------------------------- /web/client/images/dark/icon-view-full.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/icon-view-full.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-aligncenter.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-aligncenter.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-alignleft.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-alignleft.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-alignright.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-alignright.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-figureright.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-figureright.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-figurewide.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-figurewide.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-figurewide2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-figurewide2.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-reference.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-reference.png -------------------------------------------------------------------------------- /web/client/images/icon-tool-underline.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-tool-underline.png -------------------------------------------------------------------------------- /web/client/images/template-presentation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-presentation.png -------------------------------------------------------------------------------- /web/client/images/template-sigplanconf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/template-sigplanconf.png -------------------------------------------------------------------------------- /test/tests/gfm_links.html: -------------------------------------------------------------------------------- 1 |This should be a link: 2 | http://example.com/hello-world.
3 | -------------------------------------------------------------------------------- /web/client/images/dark/button-console-ok.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/dark/button-console-ok.png -------------------------------------------------------------------------------- /web/client/images/icon-folder-repo-shared.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/koka-lang/madoko/HEAD/web/client/images/icon-folder-repo-shared.png -------------------------------------------------------------------------------- /doc/javascript5.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "javascript5", 3 | "extend": "javascript", 4 | "extraKeywords": ["module","export","import"] 5 | } -------------------------------------------------------------------------------- /test/new/blockquote_list_item.html: -------------------------------------------------------------------------------- 1 |This fails in markdown.pl and upskirt:
2 | 3 |world
you today?
11 | -------------------------------------------------------------------------------- /test/tests/blockquote_list_item.html: -------------------------------------------------------------------------------- 1 |This fails in markdown.pl and upskirt:
2 | 3 |world
you today?
11 | -------------------------------------------------------------------------------- /test/tests/strong_and_em_together.text: -------------------------------------------------------------------------------- 1 | ***This is strong and em.*** 2 | 3 | So is ***this*** word. 4 | 5 | ___This is strong and em.___ 6 | 7 | So is ___this___ word. 8 | -------------------------------------------------------------------------------- /test/original/strong_and_em_together.text: -------------------------------------------------------------------------------- 1 | ***This is strong and em.*** 2 | 3 | So is ***this*** word. 4 | 5 | ___This is strong and em.___ 6 | 7 | So is ___this___ word. 8 | -------------------------------------------------------------------------------- /test/tests/literal_quotes_in_titles.text: -------------------------------------------------------------------------------- 1 | Foo [bar][]. 2 | 3 | Foo [bar](/url/ "Title with "quotes" inside"). 4 | 5 | 6 | [bar]: /url/ "Title with "quotes" inside" 7 | 8 | -------------------------------------------------------------------------------- /test/original/literal_quotes_in_titles.text: -------------------------------------------------------------------------------- 1 | Foo [bar][]. 2 | 3 | Foo [bar](/url/ "Title with "quotes" inside"). 4 | 5 | 6 | [bar]: /url/ "Title with "quotes" inside" 7 | 8 | -------------------------------------------------------------------------------- /test/original/nested_blockquotes.html: -------------------------------------------------------------------------------- 1 |2 |10 | -------------------------------------------------------------------------------- /test/tests/nested_blockquotes.html: -------------------------------------------------------------------------------- 1 |foo
3 | 4 |5 |7 | 8 |bar
6 |foo
9 |
2 |10 | -------------------------------------------------------------------------------- /test/original/tidyness.html: -------------------------------------------------------------------------------- 1 |foo
3 | 4 |5 |7 | 8 |bar
6 |foo
9 |
2 |9 | -------------------------------------------------------------------------------- /test/tests/tidyness.html: -------------------------------------------------------------------------------- 1 |A list within a blockquote:
3 |4 |
8 |- asterisk 1
5 |- asterisk 2
6 |- asterisk 3
7 |
2 |9 | -------------------------------------------------------------------------------- /test/new/extra_math2.mdk: -------------------------------------------------------------------------------- 1 | Title : Math Example 2 | Heading Base: 2 3 | 4 | # Math and colors 5 | 6 | Test: $\mbox{Madoko} = \mbox{\LaTeX} \times \mbox{Markdown}${background-color=Navy color=white} 7 | -------------------------------------------------------------------------------- /test/original/literal_quotes_in_titles.html: -------------------------------------------------------------------------------- 1 |A list within a blockquote:
3 |4 |
8 |- asterisk 1
5 |- asterisk 2
6 |- asterisk 3
7 |
Foo bar.
2 | 3 |Foo bar.
4 | -------------------------------------------------------------------------------- /test/tests/code_spans.text: -------------------------------------------------------------------------------- 1 | `Foo bar.
2 | 3 |Foo bar.
4 | -------------------------------------------------------------------------------- /test/original/code_spans.text: -------------------------------------------------------------------------------- 1 | `Already linked: http://example.com/.
2 | 3 | Already linked: [http://example.com/](http://example.com/). 4 | 5 | Already linked: **http://example.com/**. 6 | -------------------------------------------------------------------------------- /test/new/pedantic_def_blocks.text: -------------------------------------------------------------------------------- 1 | > hello 2 | > [1]: hello 3 | 4 | * * * 5 | 6 | > hello 7 | [2]: hello 8 | 9 | 10 | * hello 11 | * [3]: hello 12 | 13 | 14 | * hello 15 | [4]: hello 16 | 17 | 18 | > foo 19 | > bar 20 | [1]: foo 21 | > bar 22 | -------------------------------------------------------------------------------- /test/tests/double_link.text: -------------------------------------------------------------------------------- 1 |Already linked: http://example.com/.
2 | 3 | Already linked: [http://example.com/](http://example.com/). 4 | 5 | Already linked: **http://example.com/**. 6 | -------------------------------------------------------------------------------- /test/tests/inline_html_advanced.text: -------------------------------------------------------------------------------- 1 | Simple block on one line: 2 | 3 |<test a=" content of attribute ">
Fix for backticks within HTML tag: like this
4 | 5 |Here's how you put `backticks` in a code span.
Simple block on one line:
2 | 3 |And nested without indentation:
6 | 7 |Simple block on one line:
2 | 3 |And nested without indentation:
6 | 7 |This is strong and em.
2 | 3 |So is this word.
4 | 5 |This is strong and em.
6 | 7 |So is this word.
8 | -------------------------------------------------------------------------------- /test/original/strong_and_em_together.html: -------------------------------------------------------------------------------- 1 |This is strong and em.
2 | 3 |So is this word.
4 | 5 |This is strong and em.
6 | 7 |So is this word.
8 | -------------------------------------------------------------------------------- /test/tests/code_spans.html: -------------------------------------------------------------------------------- 1 |<test a=" content of attribute ">
Fix for backticks within HTML tag: like this
4 | 5 |Here's how you put `backticks` in a code span.
Paragraph one.
2 | 3 | 4 | 5 | 8 | 9 |Paragraph two.
10 | 11 | 12 | 13 |The end.
14 | -------------------------------------------------------------------------------- /test/tests/hard_wrapped_paragraphs_with_list_like_lines.text: -------------------------------------------------------------------------------- 1 | In Markdown 1.0.0 and earlier. Version 2 | 8. This line turns into a list item. 3 | Because a hard-wrapped line in the 4 | middle of a paragraph looked like a 5 | list item. 6 | 7 | Here's one with a bullet. 8 | * criminey. 9 | -------------------------------------------------------------------------------- /test/tests/inline_html_comments.html: -------------------------------------------------------------------------------- 1 |Paragraph one.
2 | 3 | 4 | 5 | 8 | 9 |Paragraph two.
10 | 11 | 12 | 13 |The end.
14 | -------------------------------------------------------------------------------- /test/new/double_link.html: -------------------------------------------------------------------------------- 1 |Already linked: http://example.com/.
2 | 3 |Already linked: http://example.com/.
4 | 5 |Already linked: http://example.com/.
6 | -------------------------------------------------------------------------------- /test/tests/code_blocks.text: -------------------------------------------------------------------------------- 1 | code block on the first line 2 | 3 | Regular text. 4 | 5 | code block indented by spaces 6 | 7 | Regular text. 8 | 9 | the lines in this block 10 | all contain trailing spaces 11 | 12 | Regular Text. 13 | 14 | code block on the last line 15 | -------------------------------------------------------------------------------- /test/original/code_blocks.text: -------------------------------------------------------------------------------- 1 | code block on the first line 2 | 3 | Regular text. 4 | 5 | code block indented by spaces 6 | 7 | Regular text. 8 | 9 | the lines in this block 10 | all contain trailing spaces 11 | 12 | Regular Text. 13 | 14 | code block on the last line 15 | -------------------------------------------------------------------------------- /test/tests/double_link.html: -------------------------------------------------------------------------------- 1 |Already linked: http://example.com/.
2 | 3 |Already linked: http://example.com/.
4 | 5 |Already linked: http://example.com/.
6 | -------------------------------------------------------------------------------- /test/original/hard_wrapped_paragraphs_with_list_like_lines.html: -------------------------------------------------------------------------------- 1 |In Markdown 1.0.0 and earlier. Version 2 | 8. This line turns into a list item. 3 | Because a hard-wrapped line in the 4 | middle of a paragraph looked like a 5 | list item.
6 | 7 |Here's one with a bullet. 8 | * criminey.
9 | -------------------------------------------------------------------------------- /test/tests/hard_wrapped_paragraphs_with_list_like_lines.html: -------------------------------------------------------------------------------- 1 |In Markdown 1.0.0 and earlier. Version 2 | 8. This line turns into a list item. 3 | Because a hard-wrapped line in the 4 | middle of a paragraph looked like a 5 | list item.
6 | 7 |Here's one with a bullet. 8 | * criminey.
9 | -------------------------------------------------------------------------------- /test/original/blockquotes_with_code_blocks.html: -------------------------------------------------------------------------------- 1 |2 |16 | -------------------------------------------------------------------------------- /styles/tex-chapters.mdk: -------------------------------------------------------------------------------- 1 | Documentation: 2 | Use the `\chapter` command for `H1` elements instead of `\section`. 3 | 4 | ~H0 : tex-cmd=\part 5 | ~H1 : tex-cmd=\chapter 6 | ~H2 : tex-cmd=\section 7 | ~H3 : tex-cmd=\subsection 8 | ~H4 : tex-cmd=\subsubsection 9 | ~H5,~H6 : tex-cmd=\paragraph -------------------------------------------------------------------------------- /test/new/gfm_code.text: -------------------------------------------------------------------------------- 1 | ``` js 2 | var a = 'hello'; 3 | console.log(a + ' world'); 4 | ``` 5 | 6 | ~~~bash 7 | echo "hello, ${WORLD}" 8 | ~~~ 9 | 10 | ```````longfence 11 | Q: What do you call a tall person who sells stolen goods? 12 | ``````` 13 | 14 | ~~~~~~~~~~ ManyTildes 15 | A longfence! 16 | ~~~~~~~~~~ 17 | -------------------------------------------------------------------------------- /test/tests/blockquotes_with_code_blocks.html: -------------------------------------------------------------------------------- 1 |Example:
3 | 4 |8 | 9 |sub status { 5 | print "working"; 6 | } 7 |Or:
10 | 11 |15 |sub status { 12 | return "working"; 13 | } 14 |
2 |16 | -------------------------------------------------------------------------------- /test/tests/gfm_code.text: -------------------------------------------------------------------------------- 1 | ``` js 2 | var a = 'hello'; 3 | console.log(a + ' world'); 4 | ``` 5 | 6 | ~~~bash 7 | echo "hello, ${WORLD}" 8 | ~~~ 9 | 10 | ```````longfence 11 | Q: What do you call a tall person who sells stolen goods? 12 | ``````` 13 | 14 | ~~~~~~~~~~ ManyTildes 15 | A longfence! 16 | ~~~~~~~~~~ 17 | -------------------------------------------------------------------------------- /test/tests/links_inline_style.text: -------------------------------------------------------------------------------- 1 | Just a [URL](/url/). 2 | 3 | [URL and title](/url/ "title"). 4 | 5 | [URL and title](/url/ "title preceded by two spaces"). 6 | 7 | [URL and title](/url/ "title preceded by a tab"). 8 | 9 | [URL and title](/url/ "title has spaces afterward" ). 10 | 11 | 12 | [Empty](). 13 | -------------------------------------------------------------------------------- /test/latex/include with spaces.mdk: -------------------------------------------------------------------------------- 1 | 2 | **There is more in you of good than you know, child of the kindly West.** 3 | $\foo$ 4 | Some courage and some wisdom, blended in measure. If more of us valued 5 | food and cheer and song above hoarded gold, it would be a merrier world. 6 | But sad or merry, I must leave it now. 7 | -------------------------------------------------------------------------------- /test/original/links_inline_style.text: -------------------------------------------------------------------------------- 1 | Just a [URL](/url/). 2 | 3 | [URL and title](/url/ "title"). 4 | 5 | [URL and title](/url/ "title preceded by two spaces"). 6 | 7 | [URL and title](/url/ "title preceded by a tab"). 8 | 9 | [URL and title](/url/ "title has spaces afterward" ). 10 | 11 | 12 | [Empty](). 13 | -------------------------------------------------------------------------------- /test/tests/links_shortcut_references.html: -------------------------------------------------------------------------------- 1 |Example:
3 | 4 |8 | 9 |sub status { 5 | print "working"; 6 | } 7 |Or:
10 | 11 |15 |sub status { 12 | return "working"; 13 | } 14 |
This is the simple case.
2 | 3 |This one has a line 4 | break.
5 | 6 |This one has a line 7 | break with a line-ending space.
8 | 9 | 10 | -------------------------------------------------------------------------------- /test/original/links_shortcut_references.html: -------------------------------------------------------------------------------- 1 |This is the simple case.
2 | 3 |This one has a line 4 | break.
5 | 6 |This one has a line 7 | break with a line-ending space.
8 | 9 | 10 | -------------------------------------------------------------------------------- /contrib/templates/style/lncs.mdk: -------------------------------------------------------------------------------- 1 | Description: 2 | Madoko settings for the LLNCS LaTeX document class. 3 | Heading base : 2 4 | Doc Class : style/llncs.cls 5 | 6 | Tex Header*: 7 | \pagestyle{plain} 8 | 9 | @if not (tex) { 10 | .inst { display:none } 11 | } 12 | 13 | @if tex { 14 | .inst { tex-cmd: "\inst" } 15 | } -------------------------------------------------------------------------------- /test/tests/auto_links.text: -------------------------------------------------------------------------------- 1 | 2 | Link:var a = 'hello';
2 | console.log(a + ' world');
3 | echo "hello, ${WORLD}"
4 | Q: What do you call a tall person who sells stolen goods?
5 | A longfence!
6 |
--------------------------------------------------------------------------------
/test/original/links_shortcut_references.text:
--------------------------------------------------------------------------------
1 | This is the [simple case].
2 |
3 | [simple case]: /simple
4 |
5 |
6 |
7 | This one has a [line
8 | break].
9 |
10 | This one has a [line
11 | break] with a line-ending space.
12 |
13 | [line break]: /foo
14 |
15 |
16 | [this] [that] and the [other]
17 |
18 | [this]: /this
19 | [that]: /that
20 | [other]: /other
21 |
--------------------------------------------------------------------------------
/test/tests/gfm_code.html:
--------------------------------------------------------------------------------
1 | var a = 'hello';
2 | console.log(a + ' world');
3 | echo "hello, ${WORLD}"
4 | Q: What do you call a tall person who sells stolen goods?
5 | A longfence!
6 |
--------------------------------------------------------------------------------
/test/new/include.text:
--------------------------------------------------------------------------------
1 | title: test includes
2 |
3 | Let's see a definition:
4 |
5 | [INCLUDE="deflist.text":25-29]
6 |
7 | Nice :-)
8 |
9 | [INCLUDE="deflist.text":25]
10 |
11 | ```
12 | [INCLUDE="../../../AoPL/src/Declare.hs":Summ3]
13 | ```
14 | Eval 38
15 | ```
16 | [INCLUDE:Eval38]
17 | ```
18 |
19 | Or just the part:
20 | ```
21 | [INCLUDE:Impl3]
22 | ```
--------------------------------------------------------------------------------
/test/new/pedantic_def_blocks.html:
--------------------------------------------------------------------------------
1 | 2 |5 | 6 |hello 3 | [1]: hello
4 |
9 |11 | 12 | 13 |hello
10 |
25 |29 | -------------------------------------------------------------------------------- /test/tests/pedantic_def_blocks.html: -------------------------------------------------------------------------------- 1 |foo 26 | bar 27 | bar
28 |
2 |5 | 6 |hello 3 | [1]: hello
4 |
9 |11 | 12 | 13 |hello
10 |
25 |29 | -------------------------------------------------------------------------------- /test/tests/extra_auto_counters.text: -------------------------------------------------------------------------------- 1 | 2 | # header1 3 | 4 | Here is a reference to [Section #header1](#header1), 5 | or using a shorthand, to Section [#header12] which 6 | is the same as this reference [#header12][]. 7 | Perhaps you just want the label text #header-211? 8 | 9 | ## header11 10 | ## header12 11 | #### header1201? 12 | # header2 13 | 14 | ## header 2.1 15 | ### header 2.1.1 16 | -------------------------------------------------------------------------------- /test/original/code_blocks.html: -------------------------------------------------------------------------------- 1 |foo 26 | bar 27 | bar
28 |
code block on the first line
2 |
3 |
4 | Regular text.
5 | 6 |code block indented by spaces
7 |
8 |
9 | Regular text.
10 | 11 |the lines in this block
12 | all contain trailing spaces
13 |
14 |
15 | Regular Text.
16 | 17 |code block on the last line
18 |
19 |
--------------------------------------------------------------------------------
/test/tests/code_blocks.html:
--------------------------------------------------------------------------------
1 | code block on the first line
2 |
3 |
4 | Regular text.
5 | 6 |code block indented by spaces
7 |
8 |
9 | Regular text.
10 | 11 |the lines in this block
12 | all contain trailing spaces
13 |
14 |
15 | Regular Text.
16 | 17 |code block on the last line
18 |
19 |
--------------------------------------------------------------------------------
/test/new/extra_auto_counters.text:
--------------------------------------------------------------------------------
1 | Section Depth: 6
2 |
3 | # header1
4 |
5 | Here is a reference to [Section #header1](#header1),
6 | or using a shorthand, to Section [#header12] which
7 | is the same as this reference [#header12][].
8 | Perhaps you just want the label text #header-211?
9 |
10 | ## header11
11 | ## header12
12 |
13 | #### header1201?
14 | # header2
15 |
16 | ## header 2.1
17 | ### header 2.1.1
18 |
--------------------------------------------------------------------------------
/test/new/extra_auto_counters2.text:
--------------------------------------------------------------------------------
1 | [INCLUDE=zero.mdk]
2 |
3 | # header1
4 |
5 | Here is a reference to [Section #header1](#header1),
6 | or using a shorthand, to Section [#header12] which
7 | is the same as this reference [#header12][].
8 | Perhaps you just want the label text #header-211?
9 |
10 | ## header11
11 | ## header12
12 |
13 | #### header1201?
14 | # header2
15 |
16 | ## header 2.1
17 | ### header 2.1.1
18 |
--------------------------------------------------------------------------------
/test/new/inline_code.text:
--------------------------------------------------------------------------------
1 | Test `code \/ \a \\ done Just a URL.
2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | -------------------------------------------------------------------------------- /test/tests/links_inline_style.html: -------------------------------------------------------------------------------- 1 |Just a URL.
2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | -------------------------------------------------------------------------------- /web/client/preview/preview.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 9 | 10 | 11 | 12 |Rendering...
13 |Try to refresh your browser if this takes too long...
14 | 15 | 16 | -------------------------------------------------------------------------------- /test/new/tricky_list.html: -------------------------------------------------------------------------------- 1 |hello world
2 | 3 |hello world
8 | 9 |hello world
14 | 15 |hello world
20 | 21 |hello world
2 | 3 |hello world
8 | 9 |hello world
14 | 15 |hello world
20 | 21 |this is a list item 3 | indented with tabs
this is a list item 5 | indented with spaces
Code:
9 | 10 |this code block is indented by one tab
11 |
12 |
13 | And:
14 | 15 | this code block is indented by two tabs
16 |
17 |
18 | And:
19 | 20 |+ this is an example list item
21 | indented with tabs
22 |
23 | + this is an example list item
24 | indented with spaces
25 |
26 |
--------------------------------------------------------------------------------
/test/tests/tabs.html:
--------------------------------------------------------------------------------
1 | this is a list item 3 | indented with tabs
this is a list item 5 | indented with spaces
Code:
9 | 10 |this code block is indented by one tab
11 |
12 |
13 | And:
14 | 15 | this code block is indented by two tabs
16 |
17 |
18 | And:
19 | 20 |+ this is an example list item
21 | indented with tabs
22 |
23 | + this is an example list item
24 | indented with spaces
25 |
26 |
--------------------------------------------------------------------------------
/test/tests/extra_sup_sub.text:
--------------------------------------------------------------------------------
1 | Superscripts may be written by surrounding the superscripted text by ^ characters;
2 | subscripts may be written by surrounding the subscripted text by ~ characters.
3 | Thus, for example,
4 |
5 | > H~2~O is a liquid. 2^10^ is 1024.
6 |
7 | If the superscripted or subscripted text contains spaces, these spaces must be escaped with
8 | backslashes. (This is to prevent accidental superscripting and subscripting
9 | through the ordinary use of ~ and ^.) Thus, if you want the letter P with "a cat" in
10 | subscripts, use P~a\ cat~, not P~a cat~.
--------------------------------------------------------------------------------
/test/new/hilite2.text:
--------------------------------------------------------------------------------
1 | Title : Highlight test èç
2 | Title Note : &date;, &time;
3 | Author : Dan Rosèn¸
4 |
5 | ~Pre : background-color=Ivory padding=1ex border-style=dotted border-color=black border-width=1px
6 | ~Pre,~Code : language=javascript
7 |
8 | [TITLE]
9 |
10 | [TOC]
11 |
12 | # Highlighting code
13 |
14 | Here is `function foo` javascript code.
15 | And some `do "hi"`{language=haskell} haskell code too.
16 |
17 | ```
18 | function foo
19 | ```
20 |
21 | and explicit:
22 |
23 | ```Javascript
24 | function foo
25 | ```
--------------------------------------------------------------------------------
/test/new/extra_codereplacer.text:
--------------------------------------------------------------------------------
1 | [INCLUDE=zero]
2 | Description : Some fun replacements
3 | Title : A code replacement test
4 | ~Pre,~Code : replace="//=>/\(⇒\)//!=/\(≠\)\
5 | //\bforall /\(∀\)//\bexist /\(∃\)\
6 | //\*\*/\(•\)//<(?![<=])/\(〈\)//>(?![>=])/\(〉\)\
7 | //\balpha\b/\(α\)//\bbeta\b/\(β\)//g"
8 | language=javascript
9 |
10 | # Testing
11 |
12 | Here is some code:
13 |
14 | forall alpha beta ** exist c => return (StreamAT&T has an ampersand in their name.
2 | 3 |AT&T is another way to write it.
4 | 5 |This & that.
6 | 7 |4 < 5.
8 | 9 |6 > 5.
10 | 11 |Here's a link with an ampersand in the URL.
12 | 13 |Here's a link with an amersand in the link text: AT&T.
14 | 15 |Here's an inline link.
16 | 17 |Here's an inline link.
18 | -------------------------------------------------------------------------------- /test/tests/horizontal_rules.text: -------------------------------------------------------------------------------- 1 | Dashes: 2 | 3 | --- 4 | 5 | --- 6 | 7 | --- 8 | 9 | --- 10 | 11 | --- 12 | 13 | - - - 14 | 15 | - - - 16 | 17 | - - - 18 | 19 | - - - 20 | 21 | - - - 22 | 23 | 24 | Asterisks: 25 | 26 | *** 27 | 28 | *** 29 | 30 | *** 31 | 32 | *** 33 | 34 | *** 35 | 36 | * * * 37 | 38 | * * * 39 | 40 | * * * 41 | 42 | * * * 43 | 44 | * * * 45 | 46 | 47 | Underscores: 48 | 49 | ___ 50 | 51 | ___ 52 | 53 | ___ 54 | 55 | ___ 56 | 57 | ___ 58 | 59 | _ _ _ 60 | 61 | _ _ _ 62 | 63 | _ _ _ 64 | 65 | _ _ _ 66 | 67 | _ _ _ 68 | -------------------------------------------------------------------------------- /test/original/horizontal_rules.text: -------------------------------------------------------------------------------- 1 | Dashes: 2 | 3 | --- 4 | 5 | --- 6 | 7 | --- 8 | 9 | --- 10 | 11 | --- 12 | 13 | - - - 14 | 15 | - - - 16 | 17 | - - - 18 | 19 | - - - 20 | 21 | - - - 22 | 23 | 24 | Asterisks: 25 | 26 | *** 27 | 28 | *** 29 | 30 | *** 31 | 32 | *** 33 | 34 | *** 35 | 36 | * * * 37 | 38 | * * * 39 | 40 | * * * 41 | 42 | * * * 43 | 44 | * * * 45 | 46 | 47 | Underscores: 48 | 49 | ___ 50 | 51 | ___ 52 | 53 | ___ 54 | 55 | ___ 56 | 57 | ___ 58 | 59 | _ _ _ 60 | 61 | _ _ _ 62 | 63 | _ _ _ 64 | 65 | _ _ _ 66 | 67 | _ _ _ 68 | -------------------------------------------------------------------------------- /test/tests/gfm_tables.text: -------------------------------------------------------------------------------- 1 | | Heading 1 | Heading 2 2 | | --------- | --------- 3 | | Cell 1 | Cell 2 4 | | Cell 3 | Cell 4 5 | 6 | | Header 1 | Header 2 | Header 3 | Header 4 | 7 | | :------: | -------: | :------- | -------- | 8 | | Cell 1 | Cell 2 | Cell 3 | Cell 4 | 9 | | Cell 5 | Cell 6 | Cell 7 | Cell 8 | 10 | 11 | Test code 12 | 13 | Header 1 | Header 2 14 | -------- | -------- 15 | Cell 1 | Cell 2 16 | Cell 3 | Cell 4 17 | 18 | Header 1|Header 2|Header 3|Header 4 19 | :-------|:------:|-------:|-------- 20 | Cell 1 |Cell 2 |Cell 3 |Cell 4 21 | *Cell 5*|Cell 6 |Cell 7 |Cell 8 22 | -------------------------------------------------------------------------------- /test/tests/amps_and_angles_encoding.html: -------------------------------------------------------------------------------- 1 |AT&T has an ampersand in their name.
2 | 3 |AT&T is another way to write it.
4 | 5 |This & that.
6 | 7 |4 < 5.
8 | 9 |6 > 5.
10 | 11 |Here's a link with an ampersand in the URL.
12 | 13 |Here's a link with an amersand in the link text: AT&T.
14 | 15 |Here's an inline link.
16 | 17 |Here's an inline link.
18 | -------------------------------------------------------------------------------- /.hgignore: -------------------------------------------------------------------------------- 1 | syntax:glob 2 | 3 | *.log 4 | *.dic 5 | 6 | contrib/ 7 | doc/*.pdf 8 | doc/*.html 9 | lib/ 10 | libnet/ 11 | libdoc/ 12 | node_modules/ 13 | out/ 14 | out2/ 15 | support/madoko-local/test 16 | styles/csl 17 | styles/locales 18 | web/client/version.json 19 | web/client/versionlog.json 20 | web/client/madoko.appcache 21 | web/client/lib/ 22 | web/client/private/ 23 | web/client/styles/ 24 | web/client/templates/ 25 | web/client/dictionaries/ 26 | web/users/ 27 | web/ssl/ 28 | web/log*/ 29 | web/xlog*/ 30 | web/run/ 31 | test/tex/ 32 | test/local/ 33 | test/scripts/ 34 | test/math/svg/ 35 | test/latex/ 36 | test/.madoko*/ 37 | 38 | -------------------------------------------------------------------------------- /src/version.kk: -------------------------------------------------------------------------------- 1 | /*--------------------------------------------------------------------------- 2 | Copyright 2013-2015 Microsoft Corporation. 3 | 4 | This is free software; you can redistribute it and/or modify it under the 5 | terms of the Apache License, Version 2.0. A copy of the License can be 6 | found in the file "license.txt" at the root of this distribution. 7 | ---------------------------------------------------------------------------*/ 8 | 9 | // Export the version of the program. 10 | module version 11 | 12 | // Do not edit the version, it is set in the Jakefile from package.json 13 | public val version = "1.2.3" 14 | -------------------------------------------------------------------------------- /test/new/math-pre.text: -------------------------------------------------------------------------------- 1 | title : Math pre 2 | author : Daan 3 | author note : &time; 4 | 5 | 6 | ~Pre,~Code : input=mathpre 7 | replace="/\|->>/{\dlongmapsto}/g" 8 | replace="/>->/{\longrightarrow}/g" 9 | replace="/->/{\rightarrow}/g" 10 | replace="/{\langle}/g" 11 | replace="/>/{\rangle}/g" 12 | 13 | # Testing 14 | 15 | Math pre: 16 | 17 | ~ MathPre 18 | @function sqr(x : int) \{\ x * x \} 19 | ~ 20 | 21 | Or indented: 22 | 23 | @function sqr(x : int) \{\ x * x \} 24 | 25 | Or fenced: 26 | 27 | ``` 28 | @function sqr(x : int) \{\ x * x \} 29 | ``` 30 | -------------------------------------------------------------------------------- /test/tests/auto_links.html: -------------------------------------------------------------------------------- 1 |Link: http://example.com/.
2 | 3 |With an ampersand: http://example.com/?foo=1&bar=2
4 | 5 |12 |14 | 15 |Blockquoted: http://example.com/
13 |
Auto-links should not occur here: <http://example.com/>
or here: <http://example.com/>
18 |
19 |
--------------------------------------------------------------------------------
/test/original/auto_links.html:
--------------------------------------------------------------------------------
1 | Link: http://example.com/.
2 | 3 |With an ampersand: http://example.com/?foo=1&bar=2
4 | 5 |12 |14 | 15 |Blockquoted: http://example.com/
13 |
Auto-links should not occur here: <http://example.com/>
or here: <http://example.com/>
18 |
19 |
--------------------------------------------------------------------------------
/web/maintenance/index.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
12 |
13 |
14 |
15 | Apologies, the madoko server is currently under maintenance...
17 |See madoko.codeplex.com for the latest status
18 | 19 | 20 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | syntax:glob 2 | 3 | *.log 4 | *.dic 5 | 6 | contrib/ 7 | doc/*.pdf 8 | doc/*.html 9 | lib/ 10 | libnet/ 11 | libdoc/ 12 | node_modules/ 13 | out/ 14 | out2/ 15 | support/madoko-local/test 16 | styles/csl 17 | styles/locales 18 | web/client/version.json 19 | web/client/versionlog.json 20 | web/client/madoko.appcache 21 | web/client/lib/ 22 | web/client/private/ 23 | web/client/styles/ 24 | web/client/templates/ 25 | web/client/dictionaries/ 26 | web/users/ 27 | web/ssl/ 28 | web/log*/ 29 | web/xlog*/ 30 | web/run/ 31 | web/stats-munge.json 32 | test/tex/ 33 | test/local/ 34 | test/scripts/ 35 | test/math/svg/ 36 | test/latex/ 37 | test/.madoko*/ 38 | 39 | -------------------------------------------------------------------------------- /test/new/extra_sup_sub.html: -------------------------------------------------------------------------------- 1 | 2 |Superscripts may be written by surrounding the superscripted text by ^ characters; 3 | subscripts may be written by surrounding the subscripted text by ~ characters. 4 | Thus, for example, 5 |
6 |7 |9 |H2O is a liquid. 210 is 1024. 8 |
If the superscripted or subscripted text contains spaces, these spaces must be escaped with 10 | backslashes. (This is to prevent accidental superscripting and subscripting 11 | through the ordinary use of ~ and ^.) Thus, if you want the letter P with “a cat” in 12 | subscripts, use Pa cat, not P~a cat~.
-------------------------------------------------------------------------------- /test/new/math-error2.mdk: -------------------------------------------------------------------------------- 1 | Tex Header: 2 | \usepackage{amsmath} 3 | \usepackage{amssymb} 4 | \usepackage{amsthm} 5 | \usepackage{stmaryrd} 6 | \usepackage{listings} 7 | \usepackage{color} 8 | \usepackage{semantic} 9 | \usepackage{framed} 10 | \usepackage[curve]{{xypic}} 11 | \usepackage{url} 12 | \usepackage{graphicx} 13 | 14 | 15 | Testing: 16 | 17 | ~ Math 18 | \begin{array}{llcll} 19 | \textrm{types} & \tau^k & ::= & \alpha^k & \textrm{(type variable)} \\ 20 | \begin{comment} 21 | % & & | & c^\kk & \textrm{(type constant)} \\ 22 | \end{comment} 23 | \end{array} 24 | ~ 25 | -------------------------------------------------------------------------------- /test/new/toplevel_paragraphs.html: -------------------------------------------------------------------------------- 1 |hello world 2 | how are you 3 | how are you
4 | 5 |hello world
6 |how are you
7 |
8 | hello world
9 |hello world
12 |hello world
15 |hello world
18 |19 | 20 |how are you
hello world 21 | * how are you
22 | 23 |hello world
24 |hello world 27 | how are you
28 | 29 |hello world 30 |
31 | 32 |hello
35 | -------------------------------------------------------------------------------- /test/tests/extra_sup_sub.html: -------------------------------------------------------------------------------- 1 | 2 |Superscripts may be written by surrounding the superscripted text by ^ characters; 3 | subscripts may be written by surrounding the subscripted text by ~ characters. 4 | Thus, for example, 5 |
6 |7 |9 |H2O is a liquid. 210 is 1024. 8 |
If the superscripted or subscripted text contains spaces, these spaces must be escaped with 10 | backslashes. (This is to prevent accidental superscripting and subscripting 11 | through the ordinary use of ~ and ^.) Thus, if you want the letter P with “a cat” in 12 | subscripts, use Pa cat, not P~a cat~.
-------------------------------------------------------------------------------- /test/tests/toplevel_paragraphs.html: -------------------------------------------------------------------------------- 1 |hello world 2 | how are you 3 | how are you
4 | 5 |hello world
6 |how are you
7 |
8 | hello world
9 |hello world
12 |hello world
15 |hello world
18 |19 | 20 |how are you
hello world 21 | * how are you
22 | 23 |hello world
24 |hello world 27 | how are you
28 | 29 |hello world 30 |
31 | 32 |hello
35 | -------------------------------------------------------------------------------- /web/cache-config.json: -------------------------------------------------------------------------------- 1 | { 2 | "version" : "0", 3 | "rootPath" : "client", 4 | "dirs" : [".","images","lib","preview","scripts","styles","templates","dictionaries"], 5 | "exts" : ["html","xml","css","json","js","ts","png","gif","svg","mdk","bib","cls","sty","dic","aff","bst","ico","pdf"], 6 | "excludes" : ["version.json","madoko.appcache", 7 | "lib/vs?*/**", 8 | "lib/vs/languages/!(json|plaintext|vsxml|javascript|css|html)/**", 9 | "lib/vs/workbench/**" 10 | ], 11 | "digestOnly": ["../server.js","../stats.js","../cache-template.txt","../cache-config.json","../package.json","../../package.json","../remotes.json"] 12 | } -------------------------------------------------------------------------------- /test/new/lists.mdk: -------------------------------------------------------------------------------- 1 | title : test lists 2 | 3 | 3. Start at 3 4 | 4. Apple 5 | 5. Banana 6 | 7 | And more: 8 | 9 | 4. Start at 4 in lower roman 10 | 6. Apple 11 | 7. Banana 12 | { list-style-type=lower-roman } 13 | 14 | And more: 15 | 16 | i. First 17 | ii. Second 18 | iii. Third 19 | 20 | And more: 21 | 22 | A. First 23 | B. Second 24 | C. Third 25 | 26 | A\. Russel is a philosopher. 27 | 28 | (C) 2004 29 | 30 | And start somewhere 31 | 32 | I. Fourth 33 | #. Fifth 34 | #. Sixth' 35 | { start=4 } 36 | 37 | 38 | #. Default ordered 39 | #. Two 40 | #. Three 41 | 42 | And some parens list: 43 | 44 | 1) One 45 | 2) Two 46 | 3) Three 47 | 48 | Done. 49 | -------------------------------------------------------------------------------- /test/new/extra_lists.text: -------------------------------------------------------------------------------- 1 | Title : Test list margins and borders 2 | Heading Base: 2 3 | 4 | 5 | # Testing 6 | 7 | Here is a paragraph 8 | 9 | - and 10 | - a 11 | - list 12 | { border-style=solid border-width=1px margin-left=1em margin-top=1ex } 13 | 14 | Test 15 | 16 | 1. and 17 | 2. a 18 | 3. list 19 | { border-style=solid border-width=1px margin-left=1em margin-top=1ex } 20 | 21 | A link to [daan] and some [email] and [crazy]. 22 | 23 | [daan]: http://research.microsoft.com/~daan 24 | [email]: a_name@foo.bar 25 | [crazy]: http://x_x^x|x@x#x~x&x$x---
12 |
13 |
14 | - - -
23 |
24 |
25 | Asterisks:
26 | 27 |***
36 |
37 |
38 | * * *
47 |
48 |
49 | Underscores:
50 | 51 |___
60 |
61 |
62 | _ _ _
71 |
72 |
--------------------------------------------------------------------------------
/web/encode.js:
--------------------------------------------------------------------------------
1 | var crypto = require("crypto");
2 |
3 | function encrypt(secret,value) {
4 | var cipher = crypto.createCipher('aes256', secret);
5 | var encrypted = cipher.update(value, 'utf8', 'base64') + cipher.final('base64');
6 | return encrypted;
7 | }
8 |
9 | function decrypt(secret,value) {
10 | var decipher = crypto.createDecipher('aes256', secret);
11 | var decrypted = decipher.update(value, 'base64', 'utf8') + decipher.final('utf8');
12 | return decrypted;
13 | }
14 |
15 | var secret = process.argv[2];
16 | var value = process.argv[3];
17 |
18 | var encrypted = encrypt(secret,value);
19 | console.log("encrypting: '" + value + "'\n encrypt: '" + encrypted + "'\n decrypt: '" + decrypt(secret,encrypted) + "'");
--------------------------------------------------------------------------------
/support/madoko-local/src/config.js:
--------------------------------------------------------------------------------
1 | /*---------------------------------------------------------------------------
2 | Copyright 2015 Microsoft Corporation.
3 |
4 | This is free software; you can redistribute it and/or modify it under the
5 | terms of the Apache License, Version 2.0. A copy of the License can be
6 | found in the file "license.txt" at the root of this distribution.
7 | ---------------------------------------------------------------------------*/
8 |
9 | if (typeof define !== 'function') { var define = require('amdefine')(module) }
10 | define([],function() {
11 |
12 | var version = "0.9.4";
13 | var main = "madoko-local";
14 |
15 | return {
16 | version: version,
17 | main : main,
18 | };
19 |
20 | });
21 |
--------------------------------------------------------------------------------
/test/math/small.mdk:
--------------------------------------------------------------------------------
1 | Embed : 0
2 | Math Svg use fonts: true
3 | Math Svg Share Paths: false
4 | Math Embed: 0
5 |
6 | # Mathematics $xy^2$
7 |
8 | A famous equation $\hspace{1em}$ is $e = mc^2$, but another $\int_{-\infty}^\infty e^{-a x^2} d x = \sqrt{\frac{\pi}{a}}$ famous one is:
9 | ~ Equation {#eq-gaussian; caption:"The Gaussian equation" }
10 | \int_{-\infty}^\infty e^{-a x^2} d x = \sqrt{\frac{\pi}{a}}
11 | ~
12 |
13 | Here is the baseline $x$ and $\sigma_{\lambda} = \frac{24 \pi^3}{\lambda^4 N^2}\left(\frac{n^2-1}{n^2+2}\right)^{\!2}$ problem.
14 | And as an equation:
15 | ~ Equation
16 | \sigma_{\lambda} =
17 | \frac{24 \pi^3}{\lambda^4 N^2}
18 | \left(\frac{n^2-1}{n^2+2}\right)^{\!2}
19 | ~
20 |
21 | it looks fine. $x=2$.
22 |
--------------------------------------------------------------------------------
/styles/zero.mdk:
--------------------------------------------------------------------------------
1 | Description: Leino mode: Start numbering at 0
2 | H0 { @h0: arabic0 }
3 | H1 { @h1: arabic0 }
4 | H2 { @h1-h2: arabic0 }
5 | H3 { @h1-h2-h3: arabic0 }
6 | H4 { @h1-h2-h3-h4: arabic0 }
7 | H5 { @h1-h2-h3-h4-h5: arabic0 }
8 | H6 { @h1-h2-h3-h4-h5-h6: arabic0 }
9 | Figure { @figure: arabic0 }
10 | Equation { @equation: arabic0 }
11 | Footnote { @footnote: arabic0 }
12 | Bibitem { @bib-bibitem: arabic0; @bibitem: arabic0; bibitem-label:[&cite-label;] }
13 |
14 | Tex Doc Header*:
15 | \makeatletter
16 | \ifdef\thepart{%
17 | \renewcommand\thepart{\@arabic\c@part}%
18 | \setcounter{part}{-1}}{}%
19 | \makeatother
20 | \ifdef\thechapter{\setcounter{chapter}{-1}}{}%
21 |
--------------------------------------------------------------------------------
/test/latex/float.mdk:
--------------------------------------------------------------------------------
1 | Title : My Academic Paper
2 | Author : You
3 | Affiliation : Research institute
4 | Email : you@bar.com
5 |
6 | Author : My co-author
7 | Affiliation : Other institute
8 | Email : other@bar.com
9 | Package : wrapfig
10 |
11 | [INCLUDE=lipsum]
12 |
13 |
14 | &lipsum1;
15 |
16 | ~ Begin Sample
17 | ~ Figure { caption:"A formula"; width:60%; float:left; margin-right:1em }
18 | ~~ Math
19 | e = mc^2
20 | ~~
21 | ~
22 | "Aarghhh", he shouted but not even the next
23 | one in line noticed that something
24 | terrible had happened to him.
25 | "Aarghhh", he shouted but not even the next
26 | one in line noticed that something
27 | terrible had happened to [him.]{float:right}
28 | ~ End Sample
29 |
30 |
31 | &lipsum2;
--------------------------------------------------------------------------------
/support/madoko-local/static/styles/main.css:
--------------------------------------------------------------------------------
1 | /*---------------------------------------------------------------------------
2 | Copyright 2015 Microsoft Corporation.
3 |
4 | This is free software; you can redistribute it and/or modify it under the
5 | terms of the Apache License, Version 2.0. A copy of the License can be
6 | found in the file "license.txt" at the root of this distribution.
7 | ---------------------------------------------------------------------------*/
8 | body {
9 | background-color: Gainsboro;
10 | font-family: "Segoe UI", sans-serif;
11 | }
12 |
13 |
14 | html,body,#madokoframe {
15 | padding: 0pt;
16 | margin : 0pt;
17 | border : none;
18 | width : 100%;
19 | height : 100%;
20 | }
21 |
22 | html {
23 | overflow: hidden;
24 | }
25 |
--------------------------------------------------------------------------------
/test/original/horizontal_rules.html:
--------------------------------------------------------------------------------
1 | Dashes:
2 | 3 |---
12 |
13 |
14 | - - -
23 |
24 |
25 | Asterisks:
26 | 27 |***
36 |
37 |
38 | * * *
47 |
48 |
49 | Underscores:
50 | 51 |___
60 |
61 |
62 | _ _ _
71 |
72 |
--------------------------------------------------------------------------------
/test/new/gfm-code_hr_list.text:
--------------------------------------------------------------------------------
1 | ## foo
2 |
3 | 1. bar:
4 |
5 | > - one
6 | - two
7 | - three
8 | - four
9 | - five
10 |
11 | 1. foo:
12 |
13 | ```
14 | line 1
15 | line 2
16 | ```
17 |
18 | 1. foo:
19 |
20 | 1. foo `bar` bar:
21 |
22 | ``` erb
23 | some code here
24 | ```
25 |
26 | 2. foo `bar` bar:
27 |
28 | ``` erb
29 | foo
30 | ---
31 | bar
32 | ---
33 | foo
34 | bar
35 | ```
36 |
37 | 3. foo `bar` bar:
38 |
39 | ``` html
40 | ---
41 | foo
42 | foo
43 | ---
44 | bar
45 | ```
46 |
47 | 4. foo `bar` bar:
48 |
49 | foo
50 | ---
51 | bar
52 |
53 | 5. foo
54 |
--------------------------------------------------------------------------------
/test/tests/gfm-code_hr_list.text:
--------------------------------------------------------------------------------
1 | ## foo
2 |
3 | 1. bar:
4 |
5 | > - one
6 | - two
7 | - three
8 | - four
9 | - five
10 |
11 | 1. foo:
12 |
13 | ```
14 | line 1
15 | line 2
16 | ```
17 |
18 | 1. foo:
19 |
20 | 1. foo `bar` bar:
21 |
22 | ``` erb
23 | some code here
24 | ```
25 |
26 | 2. foo `bar` bar:
27 |
28 | ``` erb
29 | foo
30 | ---
31 | bar
32 | ---
33 | foo
34 | bar
35 | ```
36 |
37 | 3. foo `bar` bar:
38 |
39 | ``` html
40 | ---
41 | foo
42 | foo
43 | ---
44 | bar
45 | ```
46 |
47 | 4. foo `bar` bar:
48 |
49 | foo
50 | ---
51 | bar
52 |
53 | 5. foo
54 |
--------------------------------------------------------------------------------
/test/tests/extra_footnotes.text:
--------------------------------------------------------------------------------
1 | This file tests support for footnotes in [Markdown Extra][]. The output
2 | adheres to what John Gruber describes at [Daring Fireball][Footnotes].
3 |
4 | [Markdown Extra]: http://michelf.ca/projects/php-markdown/extra#footnotes
5 | [Footnotes]: http://daringfireball.net/2005/07/footnotes
6 |
7 | That's some text with a footnote.[^1] and
8 | another footnote [^test], and a duplicate[^1].
9 |
10 | [^1]: And that's the footnote.
11 |
12 | That's the second paragraph.
13 |
14 | [^test]: More testing
15 |
16 | * with a
17 | * list in it [^3]
18 |
19 | And more text.
20 |
21 | [^1]:
22 | Second definition overrides
23 |
24 | with code
25 | in it
26 |
27 | And another paragraph
28 |
29 | [^3]: And the last footnote
30 |
31 | With another paragraph
32 |
33 |
--------------------------------------------------------------------------------
/test/new/extra_footnotes.text:
--------------------------------------------------------------------------------
1 | Title: Footnotes.
2 | ~Footnote: @footnote=arabic0
3 |
4 | This file tests support for footnotes in [Markdown Extra][]. The output
5 | adheres to what John Gruber describes at [Daring Fireball][Footnotes].
6 |
7 | [Markdown Extra]: http://michelf.ca/projects/php-markdown/extra#footnotes
8 | [Footnotes]: http://daringfireball.net/2005/07/footnotes
9 |
10 | That's some text with a footnote.[^1]^,^[^2] and
11 | another footnote[^test], and a duplicate[^1].
12 |
13 | [^1]: And that's the footnote.
14 |
15 | That's the second paragraph.
16 |
17 | [^test]: More testing
18 |
19 | * with a
20 | * list in it [^3]
21 |
22 | And more text.
23 |
24 | [^2]:
25 | A definition
26 |
27 | with code
28 | in it
29 |
30 | And another paragraph
31 |
32 | [^3]: And the last footnote
33 |
34 | With another paragraph
35 |
36 |
--------------------------------------------------------------------------------
/test/tests/inline_html_simple.text:
--------------------------------------------------------------------------------
1 | Here's a simple block:
2 |
3 | bar:
4 |5 |17 |6 |
16 |- one
15 |7 |
14 |- two
13 |8 |
12 |- three
9 |- four
10 |- five
11 |
foo:
19 | line 1
20 | line 2
21 | foo:
23 |foo bar bar:
some code here
26 |
27 | foo bar bar:
foo
30 | ---
31 | bar
32 | ---
33 | foo
34 | bar
35 | foo bar bar:
---
38 | foo
39 | foo
40 | ---
41 | bar
42 | foo bar bar:
foo
45 | ---
46 | bar
47 | foo
49 |bar:
4 |5 |17 |6 |
16 |- one
15 |7 |
14 |- two
13 |8 |
12 |- three
9 |- four
10 |- five
11 |
foo:
19 | line 1
20 | line 2
21 | foo:
23 |foo bar bar:
some code here
26 |
27 | foo bar bar:
foo
30 | ---
31 | bar
32 | ---
33 | foo
34 | bar
35 | foo bar bar:
---
38 | foo
39 | foo
40 | ---
41 | bar
42 | foo bar bar:
foo
45 | ---
46 | bar
47 | foo
49 |Here's a simple block:
2 | 3 |This should be a code block, though:
8 | 9 |<div>
10 | foo
11 | </div>
12 |
13 |
14 | As should this:
15 | 16 |<div>foo</div>
17 |
18 |
19 | Now, nested:
20 | 21 |This should just be an HTML comment:
30 | 31 | 32 | 33 |Multiline:
34 | 35 | 39 | 40 |Code block:
41 | 42 |<!-- Comment -->
43 |
44 |
45 | Just plain comment, with trailing spaces on the line:
46 | 47 | 48 | 49 |Code:
50 | 51 |<hr />
52 |
53 |
54 | Hr's:
55 | 56 |Here's a simple block:
2 | 3 |This should be a code block, though:
8 | 9 |<div>
10 | foo
11 | </div>
12 |
13 |
14 | As should this:
15 | 16 |<div>foo</div>
17 |
18 |
19 | Now, nested:
20 | 21 |This should just be an HTML comment:
30 | 31 | 32 | 33 |Multiline:
34 | 35 | 39 | 40 |Code block:
41 | 42 |<!-- Comment -->
43 |
44 |
45 | Just plain comment, with trailing spaces on the line:
46 | 47 | 48 | 49 |Code:
50 | 51 |<hr>
52 |
53 |
54 | Hr's:
55 | 56 |Here is a reference to Section 1#2, 4 | or using a shorthand, to Section 1#2 which 5 | is the same as this reference 1#2. 6 | Perhaps you just want the label text 1#1? 7 |
8 |Let's set a special label for sub-sections 9 |
10 |Here is a reference to Section 1#2, 4 | or using a shorthand, to Section 1#2 which 5 | is the same as this reference 1#2. 6 | Perhaps you just want the label text 1#1? 7 |
8 |Let's set a special label for sub-sections 9 |
10 |Just a note, I've found that I can't test my markdown parser vs others. For example, both markdown.js and showdown code blocks in lists wrong. They're also completely inconsistent with regards to paragraphs in list items.
A link. Not anymore.
List Item 1
List Item 2
Code goes here.
3 | Lots of it...List Item 3 The final item.
List Item 4 The real final item.
Paragraph.
- bq Item 1
- bq Item 2
- New bq Item 1
- New bq Item 2 Text here
Another blockquote! I really need to get more creative with mockup text.. markdown.js breaks here again
Hello world. Here is a link. And an image .
Code goes here.
4 | Lots of it...
5 |
--------------------------------------------------------------------------------
/test/tests/main.html:
--------------------------------------------------------------------------------
1 | Just a note, I've found that I can't test my markdown parser vs others. For example, both markdown.js and showdown code blocks in lists wrong. They're also completely inconsistent with regards to paragraphs in list items.
A link. Not anymore.
List Item 1
List Item 2
Code goes here.
3 | Lots of it...List Item 3 The final item.
List Item 4 The real final item.
Paragraph.
- bq Item 1
- bq Item 2
- New bq Item 1
- New bq Item 2 Text here
Another blockquote! I really need to get more creative with mockup text.. markdown.js breaks here again
Hello world. Here is a link. And an image .
Code goes here.
4 | Lots of it...
5 |
--------------------------------------------------------------------------------
/package.json:
--------------------------------------------------------------------------------
1 | {
2 | "name": "madoko",
3 | "author": "Daan Leijen, Microsoft Corp.",
4 | "version": "1.2.3",
5 | "homepage": "http://madoko.codeplex.com",
6 | "description": "Madoko is a fast scholarly Markdown processor written in Koka",
7 | "licenses": [
8 | {
9 | "type": "Apache License 2.0",
10 | "url": "http://www.apache.org/licenses/LICENSE-2.0.html"
11 | }
12 | ],
13 | "keywords": [
14 | "Madoko",
15 | "Markdown",
16 | "LaTeX",
17 | "Koka",
18 | "Microsoft",
19 | "Scholarly",
20 | "Academic"
21 | ],
22 | "preferGlobal": true,
23 | "main": "./lib/madoko.js",
24 | "bin": {
25 | "madoko": "./lib/cli.js"
26 | },
27 | "directories": {
28 | "lib": "./lib",
29 | "doc": "./doc"
30 | },
31 | "files": [
32 | "lib",
33 | "styles",
34 | "Jakefile.js",
35 | "readme.md",
36 | "license.txt"
37 | ],
38 | "engines": {
39 | "node": ">=0.10.0"
40 | },
41 | "dependencies": {
42 | "amdefine": "^1.0.1",
43 | "mkdirp": "^0.3.5",
44 | "requirejs": "^2.3.6",
45 | "rimraf": "^3.0.1"
46 | },
47 | "devDependencies": {
48 | "jake": ">=0.7.6"
49 | },
50 | "repository": {
51 | "type": "hg",
52 | "url": "https://github.com/koka-lang/madoko"
53 | }
54 | }
55 |
--------------------------------------------------------------------------------
/doc/reference.js:
--------------------------------------------------------------------------------
1 | function initTOC() {
2 | var toc = document.getElementById('toc');
3 | if (toc == null) return;
4 | var tocHeader = document.getElementById('toc-header');
5 | if (tocHeader== null) return;
6 |
7 | var tocToggle = document.getElementById('toc-toggle');
8 | if (tocToggle==null) {
9 | tocHeader.innerHTML = "" + tocHeader.innerHTML;
10 | tocToggle = document.getElementById('toc-toggle');
11 | }
12 | if (tocToggle==null) return;
13 |
14 | function showToc() {
15 | toc.style.display = 'block';
16 | if (tocToggle){
17 | tocToggle.innerHTML = '▼'
18 | tocToggle.style.fontSize = 'medium'
19 | }
20 | }
21 | function hideToc() {
22 | toc.style.display = 'none';
23 | if (tocToggle) {
24 | tocToggle.innerHTML = '▶';
25 | tocToggle.style.fontSize = 'medium';
26 | }
27 | }
28 | function switchToc() {
29 | (toc.style.display != 'none' ? hideToc() : showToc());
30 | }
31 |
32 | if (tocHeader) {
33 | tocHeader.onclick = switchToc;
34 | tocHeader.style.cursor = "pointer";
35 | }
36 | hideToc()
37 | }
38 |
39 | document.addEventListener("DOMContentLoaded", function(event) {
40 | initTOC();
41 | });
42 |
--------------------------------------------------------------------------------
/test/new/main.text:
--------------------------------------------------------------------------------
1 | [test]: http://google.com/ "Google"
2 |
3 | # A heading
4 |
5 | Just a note, I've found that I can't test my markdown parser vs others.
6 | For example, both markdown.js and showdown code blocks in lists wrong. They're
7 | also completely [inconsistent][test] with regards to paragraphs in list items.
8 |
9 | A link. Not anymore.
10 |
11 |
13 |
14 | * List Item 1
15 |
16 | * List Item 2
17 | * New List Item 1
18 | Hi, this is a list item.
19 | * New List Item 2
20 | Another item
21 | Code goes here.
22 | Lots of it...
23 | * New List Item 3
24 | The last item
25 |
26 | * List Item 3
27 | The final item.
28 |
29 | * List Item 4
30 | The real final item.
31 |
32 | Paragraph.
33 |
34 | > * bq Item 1
35 | > * bq Item 2
36 | > * New bq Item 1
37 | > * New bq Item 2
38 | > Text here
39 |
40 | * * *
41 |
42 | > Another blockquote!
43 | > I really need to get
44 | > more creative with
45 | > mockup text..
46 | > markdown.js breaks here again
47 |
48 | Another Heading
49 | -------------
50 |
51 | Hello *world*. Here is a [link](//hello).
52 | And an image .
53 |
54 | Code goes here.
55 | Lots of it...
56 |
--------------------------------------------------------------------------------
/test/tests/main.text:
--------------------------------------------------------------------------------
1 | [test]: http://google.com/ "Google"
2 |
3 | # A heading
4 |
5 | Just a note, I've found that I can't test my markdown parser vs others.
6 | For example, both markdown.js and showdown code blocks in lists wrong. They're
7 | also completely [inconsistent][test] with regards to paragraphs in list items.
8 |
9 | A link. Not anymore.
10 |
11 |
13 |
14 | * List Item 1
15 |
16 | * List Item 2
17 | * New List Item 1
18 | Hi, this is a list item.
19 | * New List Item 2
20 | Another item
21 | Code goes here.
22 | Lots of it...
23 | * New List Item 3
24 | The last item
25 |
26 | * List Item 3
27 | The final item.
28 |
29 | * List Item 4
30 | The real final item.
31 |
32 | Paragraph.
33 |
34 | > * bq Item 1
35 | > * bq Item 2
36 | > * New bq Item 1
37 | > * New bq Item 2
38 | > Text here
39 |
40 | * * *
41 |
42 | > Another blockquote!
43 | > I really need to get
44 | > more creative with
45 | > mockup text..
46 | > markdown.js breaks here again
47 |
48 | Another Heading
49 | -------------
50 |
51 | Hello *world*. Here is a [link](//hello).
52 | And an image .
53 |
54 | Code goes here.
55 | Lots of it...
56 |
--------------------------------------------------------------------------------
/test/new/extra_attributes.text:
--------------------------------------------------------------------------------
1 | # header test { .heading }
2 |
3 | This tests attributes of 'Markdown Extra'.
4 | We can mark most block elements using braced attributes.
5 |
6 | Like in a line header { .myheading }
7 | -----------------------------
8 |
9 | ## header with {braces} { .myheading .other }
10 |
11 | ## header with {braces} ## { .myheading #header3 }
12 |
13 | ```javascript { #jscode-example }
14 | var x = 1
15 | ```
16 |
17 | Here is a [top link][toplink] for use in frames.
18 | And a [link][mylink] by reference.
19 |
20 | [mylink]: http://foo.com { #mylink2 }
21 | [toplink]: http://foo.com { target=_top #mylink }
22 |
23 | --------- { width=50% }
24 |
25 | We can also attribute tables:
26 |
27 | A | B | C
28 | --- | --- | ---
29 | a | b | c
30 | { #table-id1 }
31 |
32 | Or like this
33 |
34 | | A | B | C |
35 | | --- | --- | --- |
36 | | a | b | c |
37 | { #table-id2 }
38 |
39 |
40 | * we can attribute
41 | * a list too
42 | {#listid}
43 |
44 | > an attributed
45 | > block quote
46 | {#blockquote}
47 |
48 | We can mark any paragraph
49 | now with attributes.
50 | {#id}
51 |
52 | {We can start paragraphs with braces}
53 | {and it will be fine} to use braces
54 | as part of a paragraph
55 |
56 | Or we can
57 | \{escape to end with braces if we want}
58 |
--------------------------------------------------------------------------------
/test/tests/extra_attributes.text:
--------------------------------------------------------------------------------
1 | # header test { .heading }
2 |
3 | This tests attributes of 'Markdown Extra'.
4 | We can mark most block elements using braced attributes.
5 |
6 | Like in a line header { .myheading }
7 | -----------------------------
8 |
9 | ## header with {braces} { .myheading .other }
10 |
11 | ## header with {braces} ## { .myheading #header3 }
12 |
13 | ```javascript { #jscode-example }
14 | var x = 1
15 | ```
16 |
17 | Here is a [top link][toplink] for use in frames.
18 | And a [link][mylink] by reference.
19 |
20 | [mylink]: http://foo.com { #mylink2 }
21 | [toplink]: http://foo.com { target=_top #mylink }
22 |
23 | --------- { width=50% }
24 |
25 | We can also attribute tables:
26 |
27 | A | B | C
28 | --- | --- | ---
29 | a | b | c
30 | { #table-id1 }
31 |
32 | Or like this
33 |
34 | | A | B | C |
35 | | --- | --- | --- |
36 | | a | b | c |
37 | { #table-id2 }
38 |
39 |
40 | * we can attribute
41 | * a list too
42 | {#listid}
43 |
44 | > an attributed
45 | > block quote
46 | {#blockquote}
47 |
48 | We can mark any paragraph
49 | now with attributes.
50 | {#id}
51 |
52 | {We can start paragraphs with braces}
53 | {and it will be fine} to use braces
54 | as part of a paragraph
55 |
56 | Or we can
57 | \{escape to end with braces if we want}
58 |
--------------------------------------------------------------------------------
/test/new/extra_fib.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
6 | Some UPPER CASE TEXT and more.
27 | Here is an image
.
28 |
Some UPPER CASE TEXT and more.
27 | Here is an image
.
28 |
Here is a reference to Section 1, 5 | or using a shorthand, to Section 1.2 which 6 | is the same as this reference 1.2. 7 | Perhaps you just want the label text 2.1.1? 8 |
9 |Here is a reference to Section 1, 5 | or using a shorthand, to Section 1.2 which 6 | is the same as this reference 1.2. 7 | Perhaps you just want the label text 2.1.1? 8 |
9 |Foo bar.
2 | 3 |Foo bar.
4 | 5 |Foo bar.
6 | 7 |With embedded [brackets].
8 | 9 |Indented once.
10 | 11 |Indented twice.
12 | 13 |Indented thrice.
14 | 15 |Indented [four][] times.
16 | 17 |[four]: /url
18 |
19 |
20 | this should work
23 | 24 |So should this.
25 | 26 |And this.
27 | 28 |And this.
29 | 30 |And this.
31 | 32 |But not [that] [].
33 | 34 |Nor [that][].
35 | 36 |Nor [that].
37 | 38 |[Something in brackets like this should work]
39 | 40 |[Same with this.]
41 | 42 |In this case, this points to something else.
43 | 44 |Backslashing should suppress [this] and [this].
45 | 46 |Here's one where the link 49 | breaks across lines.
50 | 51 |Here's another where the link 52 | breaks across lines, but with a line-ending space.
53 | -------------------------------------------------------------------------------- /test/tests/links_reference_style.html: -------------------------------------------------------------------------------- 1 |Foo bar.
2 | 3 |Foo bar.
4 | 5 |Foo bar.
6 | 7 |With embedded [brackets].
8 | 9 |Indented once.
10 | 11 |Indented twice.
12 | 13 |Indented thrice.
14 | 15 |Indented [four][] times.
16 | 17 |[four]: /url
18 |
19 |
20 | this should work
23 | 24 |So should this.
25 | 26 |And this.
27 | 28 |And this.
29 | 30 |And this.
31 | 32 |But not [that] [].
33 | 34 |Nor [that][].
35 | 36 |Nor [that].
37 | 38 |[Something in brackets like this should work]
39 | 40 |[Same with this.]
41 | 42 |In this case, this points to something else.
43 | 44 |Backslashing should suppress [this] and [this].
45 | 46 |Here's one where the link 49 | breaks across lines.
50 | 51 |Here's another where the link 52 | breaks across lines, but with a line-ending space.
53 | -------------------------------------------------------------------------------- /test/new/gfm_tables.html: -------------------------------------------------------------------------------- 1 || Heading 1 | Heading 2 |
|---|---|
| Cell 1 | Cell 2 |
| Cell 3 | Cell 4 |
| Header 1 | Header 2 | Header 3 | Header 4 |
|---|---|---|---|
| Cell 1 | Cell 2 | Cell 3 | Cell 4 |
| Cell 5 | Cell 6 | Cell 7 | Cell 8 |
Test code
20 | | Header 1 | Header 2 |
|---|---|
| Cell 1 | Cell 2 |
| Cell 3 | Cell 4 |
| Header 1 | Header 2 | Header 3 | Header 4 |
|---|---|---|---|
| Cell 1 | Cell 2 | Cell 3 | Cell 4 |
| Cell 5 | Cell 6 | Cell 7 | Cell 8 |
| Heading 1 | Heading 2 |
|---|---|
| Cell 1 | Cell 2 |
| Cell 3 | Cell 4 |
| Header 1 | Header 2 | Header 3 | Header 4 |
|---|---|---|---|
| Cell 1 | Cell 2 | Cell 3 | Cell 4 |
| Cell 5 | Cell 6 | Cell 7 | Cell 8 |
Test code
20 | | Header 1 | Header 2 |
|---|---|
| Cell 1 | Cell 2 |
| Cell 3 | Cell 4 |
| Header 1 | Header 2 | Header 3 | Header 4 |
|---|---|---|---|
| Cell 1 | Cell 2 | Cell 3 | Cell 4 |
| Cell 5 | Cell 6 | Cell 7 | Cell 8 |
This example encodes SKI combinator logic.
27 | Here we reverse α and β where S(K(SI))Kαβ evaluates to ‘βα’
28 |
This example encodes SKI combinator logic.
27 | Here we reverse α and β where S(K(SI))Kαβ evaluates to ‘βα’
28 |
This file tests support for footnotes in Markdown Extra. The output 3 | adheres to what John Gruber describes at Daring Fireball. 4 |
5 |That's some text with a footnote.3 and 6 | another footnote 2, and a duplicate3. 7 |
8 |And that's the footnote. 14 |
15 |That's the second paragraph. 16 | ↩
More testing 19 |
20 |And more text. 27 | ↩
Second definition overrides 30 |
31 |
32 | with code
33 | in it
34 | And another paragraph 35 | ↩
And the last footnote 38 |
39 |With another paragraph 40 | ↩
This file tests support for footnotes in Markdown Extra. The output 3 | adheres to what John Gruber describes at Daring Fireball. 4 |
5 |That's some text with a footnote.3 and 6 | another footnote 2, and a duplicate3. 7 |
8 |And that's the footnote. 14 |
15 |That's the second paragraph. 16 | ↩
More testing 19 |
20 |And more text. 27 | ↩
Second definition overrides 30 |
31 |
32 | with code
33 | in it
34 | And another paragraph 35 | ↩
And the last footnote 38 |
39 |With another paragraph 40 | ↩
Fibonacci of 6 is how many y's? 16 | yyyyyyyyyyyyy 17 |
18 |Some UPPER CASE TEXT and more.
19 | Here is an image
.
20 |
23 | function hello() {
24 | alert("hello world")
25 | }
26 | And indented 27 |
28 |
29 | function hello() {
30 | alert("hello world")
31 | }
32 |
33 | \begin{itemize}
34 | \item Some \textbf{latex} code.
35 | \item Good for math $2\sin$.
36 | \item But a horrible macro language :-(.
37 | \end{itemize}
38 |
39 | (friends 'of '(parentheses))
40 |
41 |
42 |
--------------------------------------------------------------------------------
/test/tests/extra_things.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
6 | Fibonacci of 6 is how many y's? 16 | yyyyyyyyyyyyy 17 |
18 |Some UPPER CASE TEXT and more.
19 | Here is an image
.
20 |
23 | function hello() {
24 | alert("hello world")
25 | }
26 | And indented 27 |
28 |
29 | function hello() {
30 | alert("hello world")
31 | }
32 |
33 | \begin{itemize}
34 | \item Some \textbf{latex} code.
35 | \item Good for math $2\sin$.
36 | \item But a horrible macro language :-(.
37 | \end{itemize}
38 |
39 | (friends 'of '(parentheses))
40 |
41 |
42 |
--------------------------------------------------------------------------------
/src/runcsl.kk:
--------------------------------------------------------------------------------
1 | /*---------------------------------------------------------------------------
2 | Copyright 2015 Microsoft Corporation.
3 |
4 | This is free software; you can redistribute it and/or modify it under the
5 | terms of the Apache License, Version 2.0. A copy of the License can be
6 | found in the file "license.txt" at the root of this distribution.
7 | ---------------------------------------------------------------------------*/
8 | module runcsl
9 |
10 | import std/path
11 | import texParser
12 |
13 | external import {
14 | js csl "./csl-madoko"
15 | }
16 |
17 |
18 | public struct fileinfo(
19 | filename: string,
20 | contents: string
21 | )
22 |
23 | public struct citeinfo(
24 | id: string,
25 | lineinfo: string
26 | )
27 |
28 | public struct cslresult(
29 | bibliography: string,
30 | bib : string,
31 | warnings : string,
32 | errors : string,
33 | citeformat : string
34 | )
35 |
36 |
37 | public function runCsl(
38 | citations : list