Default Branch

master

c182a30f57 · change forum name to `typesetting` · Updated 8 months ago

Branches

dev-gang-render

e9cb0e8478 · test dir · Updated 9 months ago

2
2
dev-gh-actions

c9c69d1063 · use 1.1 · Updated 2 years ago

31
1
dev-poly-fix-201114

5bb8fe4b30 · patch · Updated 2 years ago

47
4
#240 Merged
dev-output-files-201008

68ec682616 · test of that proposition · Updated 2 years ago

51
3
#238 Merged
dev-nonsettable

c394d27332 · less dynamism · Updated 3 years ago

80
1
dev-app

9b4515a104 · more · Updated 3 years ago

100
9
dev-fasl

091b3c693a · wiff · Updated 3 years ago

101
3
#221 Merged
dev-jobs-flag

939575d550 · add --jobs switch to render and setup · Updated 4 years ago

186
0
Included
dev-file-locking

2db86cc0b4 · improve parallel rendering · Updated 4 years ago

191
1
dev-travis-config

88fe03e83b · force trusty · Updated 4 years ago

189
0
Included
dev-render-audit

fd8b965334 · Tenacious P · Updated 4 years ago

191
0
Included
fix-drp

4042281b74 · ok · Updated 4 years ago

204
3
#204 Merged
meta-expr

91a6a95698 · support expressions in meta values · Updated 4 years ago

204
1
candidate-v2.0

30e24be078 · note · Updated 4 years ago

239
5
#194 Merged
dev-top-inverter

74c8913be9 · better · Updated 4 years ago

270
3
dev-langify

1eed433d14 · patch the patch · Updated 4 years ago

275
12
dev-stylish-5

559da05c8d · 1.5 update · Updated 4 years ago

277
0
Included
dev-stylish

6571959b6e · Revert "workaround" · Updated 4 years ago

280
55