10 Commits

Author	SHA1	Message	Date
krasimir	3306ec606c	fix command cc for Unicode	2010-04-19 15:41:23 +00:00
krasimir	c11064bfad	always use Haskeline. drop Readline & Editline	2010-04-19 15:12:52 +00:00
krasimir	0b6b30d4a8	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
aarne	b7a60b5e45	dependency graph can be restricted to some modules; added help dg	2010-04-06 08:53:44 +00:00
krasimir	d3a84f994b	store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet	2010-03-22 21:15:29 +00:00
aarne	f3f661b525	generalized tour to a variable language by the script MkTour	2010-02-08 10:52:08 +00:00
krasimir	1c2a240b2c	command cc now works even without loaded grammar. useful for testing closed expressions	2010-02-07 19:23:26 +00:00
aarne	745bee5d88	command eh ; lib/doc/tour started	2010-02-03 20:55:54 +00:00
krasimir	e33447aadd	fix the tabular printing when there is a V constructor	2010-02-03 17:33:55 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00