6 Commits

Author	SHA1	Message	Date
Dave Davenport	5e371eedeb	Change language parser to glr type, remove type prefix.	2016-12-11 14:08:28 +01:00
Dave Davenport	1dfac3c4da	Update to new theme	2016-12-11 12:19:46 +01:00
Dave Davenport	5fd76b75b1	Add some color stuff	2016-12-10 19:48:44 +01:00
Dave Davenport	2d01d1566a	Add some properties to themes	2016-12-09 22:16:31 +01:00
Dave Davenport	aa8c90cd7e	Fix include.	2016-12-09 20:04:50 +01:00
Dave Davenport	d18f037d1c	Add lex/bison parser for theme.	2016-12-09 19:49:49 +01:00