7 commits

Author	SHA1	Message	Date
Paulo Reis	a8976fd4dc	Use plain links instead of buttons.	2016-06-20 14:42:36 +01:00
Paulo Reis	605bb07ba3	Hint card styling.	2016-06-20 09:45:14 +01:00
Paulo Reis	54d48ce0ea	Support extra info URL in human readable hints.	2016-06-17 11:42:32 +01:00
Paulo Reis	40fda6e361	Support HTML in human readable log messages.	2016-06-16 16:29:19 +01:00
Paulo Reis	9b8d695e43	Match logs against ruleset; show human readable message when appropriate.	2016-06-16 15:53:39 +01:00
Paulo Reis	f167aacc08	Add sample rules file.	2016-06-16 15:29:00 +01:00
Paulo Reis	c54f3dae20	Create human readable logs module on top of LatexLogParser; use it in the PDF controller.	2016-06-16 11:14:45 +01:00