13 commits

Author	SHA1	Message	Date
Adam Chlipala	c502399de4	Separate out library code with its own license	2020-03-17 09:22:06 -04:00
Adam Chlipala	68b01b1047	Add SepCancel to 'lib' target	2016-04-19 14:29:02 -04:00
Adam Chlipala	c9cedde15f	Add AbstractInterpret; fix 8.4 compatibility	2016-03-07 18:49:16 -05:00
Adam Chlipala	9b40bf78af	New Makefile target: lib, to build just the library, not the lecture code	2016-02-14 22:07:29 -05:00
Adam Chlipala	19b98288ca	Incorporating a variety of changes and pull requests, after things got desync'd a bit	2016-02-09 20:21:19 -05:00
Adam Chlipala	1208d0cfd4	Tweak Makefile dependencies	2016-02-02 13:55:33 -05:00
Adam Chlipala	792a45b506	Tweak Makefile dependencies	2016-02-02 13:53:58 -05:00
Adam Chlipala	6f43dcc6de	Tweak Makefile dependencies	2016-02-02 13:53:21 -05:00
Adam Chlipala	7e99e09b81	Publishing to web	2016-02-02 13:53:00 -05:00
Adam Chlipala	f8945106da	Start of BasicSyntax code	2015-12-31 15:44:34 -05:00
Adam Chlipala	e5898976ab	Fleshed out intro	2015-12-31 14:40:01 -05:00
Adam Chlipala	2d64f99796	Placeholder introduction	2015-12-31 14:02:34 -05:00
Adam Chlipala	71d8c98936	Book skeleton, based on amsmath template	2015-12-31 13:50:15 -05:00