50 Commits

Author	SHA1	Message	Date
Simon Shine	36635564f7	Fix typo, assitance -> assistance ... Since this typo is not present in copyright.md or copyright.tex, this suggests that 1) If copyright.html is generated from either, this generation did not take place, 2) If the three versions are maintained separately, maybe other discrepancies exist. Without knowing more, this fixes the typo present.	2020-08-07 16:04:51 +02:00
Markus Bukowski	2f56403a6b	prefix web address with https to avoid relative url	2020-07-30 15:59:49 +02:00
sdiehl	3fe3098e44	Fix copyright	2020-02-27 13:13:23 +00:00
sdiehl	c950aabd3a	Merge fixes	2020-02-27 13:07:35 +00:00
sdiehl	f2cc400c92	Remove eff, unstable	2020-02-24 14:22:18 +00:00
sdiehl	f452ea0893	Update build script	2020-02-17 06:48:21 +00:00
sdiehl	992c494b85	Write more	2020-02-16 21:02:23 +00:00
sdiehl	d13a54ba29	Write more	2020-02-16 19:36:31 +00:00
sdiehl	3df9f3c3cf	Write more	2020-02-16 15:58:53 +00:00
sdiehl	ad2691171a	Write more	2020-02-16 15:03:33 +00:00
sdiehl	1f0eee3ac2	Write more	2020-02-16 12:45:23 +00:00
sdiehl	4b844395d5	Write more	2020-02-16 12:21:25 +00:00
sdiehl	08cbf9dca0	Write more	2020-02-14 13:17:31 +00:00
sdiehl	ea95ae0bb7	Write more	2020-02-13 16:52:35 +00:00
sdiehl	06fd31632d	Write more	2020-02-13 16:33:07 +00:00
sdiehl	f6f3b44393	Write more	2020-02-13 08:12:11 +00:00
sdiehl	1979b57c1f	Write more	2020-02-11 09:20:08 +00:00
sdiehl	c964a5962d	Write more	2020-02-11 07:01:50 +00:00
sdiehl	ad72e28ffa	Write more	2020-02-06 02:55:04 +00:00
sdiehl	3cc45a9033	Write more	2020-02-05 20:24:03 +00:00
sdiehl	350e62cd21	Write more	2020-02-05 09:47:48 +00:00
sdiehl	f1f9731daf	Write more	2020-02-05 09:20:41 +00:00
sdiehl	d4cefde9c7	Write more	2020-02-05 08:28:55 +00:00
sdiehl	f1edf132d4	Write more	2020-02-02 21:21:02 +00:00
sdiehl	bebe993837	Write more	2020-02-02 19:48:14 +00:00
sdiehl	fd589be411	Write more	2020-02-01 14:06:14 +00:00
sdiehl	77ccb60744	Write more	2020-02-01 12:47:31 +00:00
sdiehl	bf998eb1c8	Write more	2020-01-31 12:50:06 +00:00
sdiehl	f3fa531476	Write more	2020-01-31 12:32:52 +00:00
sdiehl	355eff3196	Write more	2020-01-31 11:25:48 +00:00
sdiehl	7946d2e32e	Write more	2020-01-26 10:50:52 +00:00
sdiehl	9918ecea82	Write more	2020-01-26 10:02:13 +00:00
sdiehl	d7cea6a001	Write more	2020-01-25 16:33:31 +00:00
sdiehl	5b127bd40d	Write more	2020-01-25 14:27:07 +00:00
sdiehl	de3ed731cb	Write more	2020-01-25 12:46:04 +00:00
sdiehl	ef4f401237	Write more	2020-01-18 06:20:33 +00:00
sdiehl	a7109b5df6	Write more	2020-01-17 16:54:07 +00:00
Igal Tabachnik	8009d67678	Fixing missing unicode characters in rendered PDF (#177) ... * Tweaking fonts to support unicode characters + making it pretty * Adding unicode mapping to math symbols for missing characters * Trying older ghc to fix the CI build issues	2020-01-17 16:01:01 +00:00
sdiehl	53c11cbc8b	Update latex engine	2019-12-23 11:45:45 +00:00
sdiehl	0ff9a476e2	Some updates and purges	2019-12-23 10:18:10 +00:00
Stephen Diehl	679e83103e	stub out cryptography section	2017-03-10 11:06:08 +00:00
Stephen Diehl	f07e724461	fix monad line breaks	2016-12-13 11:08:17 +00:00
Oskar Wickström	512e9ce8c0	Navigation and scroll fixes (#143) ... * Fix scrolling and some other minor goodies * Add document title and version at beginning * Fix rest of overflowing tables * Automatically wrap tables	2016-11-07 06:00:16 -05:00
Oskar Wickström	56f908deb5	Use a lighter and responsive styling (#140) ... * Use a lighter and responsive styling * Fix indentation	2016-11-06 16:57:07 -05:00
Daniel Taskoff	3137020277	Add a template for creating an epub file ... Previously, the title, author and date weren't displayed and the table of contents had an empty field.	2016-06-25 12:08:35 +03:00
Stephen Diehl	5862fd2778	just include web fonts	2016-04-27 10:34:07 -04:00
Stephen Diehl	d364c9021c	reform pdf output & mmorph	2016-03-28 15:49:49 -04:00
Stephen Diehl	e3af3fb299	include fonts	2016-03-22 21:00:59 -04:00
Stephen Diehl	24eef99807	fix sidebar styling	2016-03-22 19:51:51 -04:00
Stephen Diehl	d9b0154a99	liquidhaskell	2016-03-22 19:25:14 -04:00