Commit graph

835 commits

Author SHA1 Message Date
David Himmelstrup
ddc51a25cc Work on SSSP video. 2020-12-14 12:04:52 +08:00
David Himmelstrup
820b50c1bc Add sssp article draft. 2020-12-05 12:16:19 +08:00
David Himmelstrup
a7ee415c19 Simplify hie definition file. 2020-12-05 12:10:23 +08:00
David Himmelstrup
1a1d9667ae First draft. 2020-12-05 12:08:23 +08:00
David Himmelstrup
acbaefd723 Increase shared storage between playground and discord-bot images. 2020-12-04 19:20:23 +08:00
Xie Ruifeng
ccc69c0d83 add an example for using mathChunks with non-trivial Traversable 2020-11-10 08:36:51 +08:00
Xie Ruifeng
828b033504 add mathChunks/latexCfgChunksTrans 2020-11-10 08:36:51 +08:00
Xie Ruifeng
aed68fe34a export latexCfgChunks 2020-11-10 08:36:51 +08:00
Xie Ruifeng
81bf85bea8 LaTeX: extend latex[Cfg]Chunks to use Traversable 2020-11-10 08:36:51 +08:00
lemmih
47dcf6471c Correct documentation for 'parDropA'. 2020-10-30 20:19:42 +08:00
David Himmelstrup
fce34e92b2 Simplify base docker image. 2020-10-28 17:03:09 +08:00
David Himmelstrup
eca9226126 Add shared docker image for discord-bot and playground. 2020-10-28 16:49:36 +08:00
David Himmelstrup
4e38c3249f Bump version to 1.1.2.1 v1.1.2.1 2020-10-27 19:00:23 +08:00
Xie Ruifeng
5da40eda1b fix LaTeX: headers and postscripts got swapped 2020-10-27 18:59:29 +08:00
David Himmelstrup
04c3fd6baf Drop chalkduster from fonts example. 2020-10-27 17:10:11 +08:00
Krantz-XRF
9944af167e add latexCfgChunks v1.1.2.0 2020-10-12 10:11:20 +08:00
Krantz-XRF
e266f5454c fix Reanimate.LaTeX.xelatex 2020-10-12 10:11:20 +08:00
David Himmelstrup
dec92f2299 Fix documentation for external data sets. 2020-10-12 08:58:02 +08:00
David Himmelstrup
53793fcf1b Bump version to 1.1.1.0 and update changelog. v1.1.1.0 2020-10-10 21:43:42 +08:00
David Himmelstrup
e7bce27d12 Switch back to stylish-haskell and enumerate imports. 2020-10-10 18:17:01 +08:00
David Himmelstrup
96cd95f865 Add logos from svgporn.com 2020-10-10 17:25:15 +08:00
David Himmelstrup
e9a2bd3bd0 Depend on reanimate-svg >= 0.13 2020-10-10 15:19:55 +08:00
David Himmelstrup
7d16bc79b0 Rename gh-pages dist folder. 2020-10-09 19:01:44 +08:00
David Himmelstrup
b1cc939dfa Disable HPC badge generation. 2020-10-09 17:26:10 +08:00
David Himmelstrup
1fa503721c Fix path to golden files. 2020-10-09 17:24:56 +08:00
Michal Kukiela
f14192f637 Move .golden files to a subdirectory. (#78) 2020-10-09 16:53:39 +08:00
David Himmelstrup
edd776beac
Add a few more built-in font configurations. (#179) 2020-10-08 15:26:19 +08:00
David Himmelstrup
54652dd51f
SimpleIcons.org external data set. (#178)
* Add 'simpleIcons' external icon set.

* Add complete support for Simple Icons.

* Add documentation gif.
2020-10-08 15:26:02 +08:00
David Himmelstrup
5ec3ef8af4 Add chalkduster to changelog. 2020-10-07 13:48:09 +08:00
David Himmelstrup
340ccb3c19 Bump version and update changelog. v1.1.0.0 2020-10-07 10:14:54 +08:00
David Himmelstrup
110ff7578c Bump reanimate-svg version. 2020-10-07 09:52:11 +08:00
lemmih
56f941b080 Add font snippet. 2020-10-05 18:47:07 +08:00
David Himmelstrup
ac5f40e5e7
Add monthly changelog entries to docs. (#176) 2020-10-05 15:35:19 +08:00
David Himmelstrup
554eda594f
How-To: Use system fonts (#175)
* Import Reanimate.External in the playground.

* Add draft for How-To article about system fonts.

* Finish system font how-to.
2020-10-05 11:43:15 +08:00
David Himmelstrup
88c4c2fba2 Update changelog. 2020-10-04 20:22:20 +08:00
David Himmelstrup
1c116ddc39 Switch chalkduster font to XeLaTex (from LuaTex) 2020-10-04 20:20:33 +08:00
David Himmelstrup
3a1c6e4166
How-To article about the LaTeX font catalogue (#174) 2020-10-04 00:17:15 +08:00
lemmih
5cc47478a6 Use https when possible. 2020-10-01 14:40:05 +08:00
David Himmelstrup
009a9e2188
Support multiple latex configurations. (#173)
* Support multiple latex configurations.

* Don't look for pdf2svg/dvisvgm unless they are actually required.
2020-10-01 14:26:45 +08:00
David Himmelstrup
85c768cc2e
Enable nix. (#172)
* Enable nix.

* Disable nix CI.
2020-09-26 11:12:05 +08:00
David Himmelstrup
5c8cf840a1 CI: Use websocat to check websocket connection every hour. 2020-09-24 11:42:07 +08:00
David Himmelstrup
2e7e0eb3f6 Fix width of tut GIF for mobile viewers. 2020-09-24 09:37:51 +08:00
David Himmelstrup
fb6d81ad31 Haddock always generates 404 links. Sigh. Disable 404 checking for api docs. 2020-09-23 12:53:33 +08:00
David Himmelstrup
2b0d2d74f2 Remove unsupported hljs languages. 2020-09-23 12:49:54 +08:00
David Himmelstrup
0ea03ecb23
CI: Check for 404s (#170) 2020-09-23 12:40:39 +08:00
David Himmelstrup
08cffe6099 Playground: Don't open unused ws connections. 2020-09-23 12:19:44 +08:00
David Himmelstrup
b03d875066 Fix playground docker file. 2020-09-23 12:19:32 +08:00
David Himmelstrup
2d28fbf4b5 Fix nginx configuration. 2020-09-22 19:21:25 +08:00
David Himmelstrup
7b914cabe2 Make the playground threaded. 2020-09-22 19:21:08 +08:00
David Himmelstrup
7b7fa1a97d nginx: Increase connections to 10k. 2020-09-22 18:30:25 +08:00