4 commits

Author	SHA1	Message	Date
Albert Krewinkel	5bd2d28b19	Org reader: wrap named table in div, using name as id ... Closes: #5984	2019-12-18 22:28:26 +01:00
Albert Krewinkel	37a82b0b11	Add missing copyright notices and remove license boilerplate (#5112) ... Quite a few modules were missing copyright notices. This commit adds copyright notices everywhere via haddock module headers. The old license boilerplate comment is redundant with this and has been removed. Update copyright years to 2019. Closes #4592.	2019-02-04 13:52:31 -08:00
John MacFarlane	7e389cb3db	Use NoImplicitPrelude and explicitly import Prelude. ... This seems to be necessary if we are to use our custom Prelude with ghci. Closes #4464.	2018-03-18 10:46:28 -07:00
Albert Krewinkel	2d443ecb07	Break-up org reader test file ... The org reader test file had grown large, to the point that editor performance was negatively affected in some cases. The tests are spread over multiple submodules, and re-combined into a tasty TestTree in the main org reader test file.	2017-12-28 14:15:58 +01:00