WIP: Expanded documentation (inc. @gteege's manual)#334

Draft

jashank wants to merge 33 commits intoau-ts:masterfrom jashank:docs-import-manual

+9,193-241

Commits on Oct 7, 2020

docs: Import Gunnar Teege's manual (hence gtm') into doc/'.
jashank
committed
docs: Restructure into two major parts: introduction and reference.
jashank
committed
docs: Use the documentation tree's symlink. (SQUASH ^^)
jashank
committed
docs: Lose the first-page header. (SQUASH ^{3})
jashank
committed
docs: Promote the \chapter's to \part's in the LaTeX docs. (SQUASH ^{4})
jashank
committed
docs: Mark the appendices for the LaTeX output. (SQUASH ^{5})
jashank
committed
docs: Rearrange the "introduction" section. (SQUASH ^{6})
jashank
committed
docs: Shuffle the syntax documents; fix broken references. (SQUASH ^{7})
jashank
committed
docs: README to reST; add some structured project info (SQUASH ^{8})
jashank
committed
docs: intro/install: point at the full installation instructions (SQUASH ^{10})
jashank
committed
docs: `preamble' has been teased apart. (SQUASH ^{11})
jashank
committed
docs: Extract @gteege 's "this is not a tutorial" wording. (SQUASH ^{12})
jashank
committed
docs: ref/syntax: merge @gteege 's syntax docs in as surface syntax. (SQUASH ^{13})
jashank
committed
docs: ref/core: Import liamoc fig 3.1. (SQUASH ^{13})
jashank
committed
docs: Use the magic |cogent| macro. (SQUASH ^{14})
jashank
committed
docs: ref/values: intro, patterns (SQUASH ^{15})
jashank
committed
docs: ref/compiler: Clean up sectioning. (SQUASH ^{16})
jashank
committed
docs: appx/todo: Do something with all those `.todo's floating around. (SQUASH ^{17})
jashank
committed
docs: Use the small-caps Cogent runes more often. (SQUASH ^{18})
jashank
committed
docs: ref/types: Style cleanup; spelling, grammar. (SQUASH ^{19})
jashank
committed
docs: Use reST's xref syntax. (SQUASH ^{20})
jashank
committed
docs: intro/first-program: working through content. (SQUASH ^{21})
jashank
committed
docs: intro/first-program: Expand the Cogent introduction more. (SQUASH ^{22})
jashank
committed
docs: intro/first-program: Fix the branches; promote a par. (SQUASH ^{23})
jashank
committed
docs: intro/first-program: Gentler introduction to AqC.
jashank
committed
docs: shunt old documentation out of the way.
jashank
committed
docs: Bump version numbers in documentation.
jashank
committed
docs: Fix path to the Cogent logo.
jashank
committed
docs: reference/surface-syntax: note identifier moves.
jashank
committed
docs: introduction/first-program: Clean up some language.
jashank
committed
docs: Move the Antiquoted C documentation out of the way.
jashank
committed
docs: A first draft of a first draft of new AqC docs.
jashank
committed
docs: reference/antiquoted-c: Expand some of the description.
jashank
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

WIP: Expanded documentation (inc. @gteege's manual)#334

Commits on Oct 7, 2020

docs: Import Gunnar Teege's manual (hence `gtm') into` doc/'.

docs: Restructure into two major parts: introduction and reference.

docs: Use the documentation tree's symlink. (SQUASH ^^)

docs: Lose the first-page header. (SQUASH ^{3})

docs: Promote the \chapter's to \part's in the LaTeX docs. (SQUASH ^{4})

docs: Mark the appendices for the LaTeX output. (SQUASH ^{5})

docs: Rearrange the "introduction" section. (SQUASH ^{6})

docs: Shuffle the syntax documents; fix broken references. (SQUASH ^{7})

docs: README to reST; add some structured project info (SQUASH ^{8})

docs: intro/install: point at the full installation instructions (SQUASH ^{10})

docs: `preamble' has been teased apart. (SQUASH ^{11})

docs: Extract @gteege 's "this is not a tutorial" wording. (SQUASH ^{12})

docs: ref/syntax: merge @gteege 's syntax docs in as surface syntax. (SQUASH ^{13})

docs: ref/core: Import liamoc fig 3.1. (SQUASH ^{13})

docs: Use the magic `|cogent|` macro. (SQUASH ^{14})

docs: ref/values: intro, patterns (SQUASH ^{15})

docs: ref/compiler: Clean up sectioning. (SQUASH ^{16})

docs: appx/todo: Do something with all those `.todo's floating around. (SQUASH ^{17})

docs: Use the small-caps Cogent runes more often. (SQUASH ^{18})

docs: ref/types: Style cleanup; spelling, grammar. (SQUASH ^{19})

docs: Use reST's xref syntax. (SQUASH ^{20})

docs: intro/first-program: working through content. (SQUASH ^{21})

docs: intro/first-program: Expand the Cogent introduction more. (SQUASH ^{22})

docs: intro/first-program: Fix the branches; promote a par. (SQUASH ^{23})

docs: intro/first-program: Gentler introduction to AqC.

docs: shunt old documentation out of the way.

docs: Bump version numbers in documentation.

docs: Fix path to the Cogent logo.

docs: reference/surface-syntax: note identifier moves.

docs: introduction/first-program: Clean up some language.

docs: Move the Antiquoted C documentation out of the way.

docs: A first draft of a first draft of new AqC docs.

docs: reference/antiquoted-c: Expand some of the description.