Matthew Flatt d5ede87ae8 JIT for ARM ... Includes switch from LGPL 2.1 to LGPL 3, since the ARM port of GNU lightining is licensed under LGPL 3.		2013-04-08 14:43:30 -06:00
..
private	doc search: fix mismatch between generator and renderer	2013-04-06 07:43:49 -06:00
user	remove 'always-run style from the doc that list documents	2012-11-24 08:13:51 -07:00
acks.scrbl
config.rkt	Revert "Adding link to prior versions of the docs."	2013-02-24 16:59:52 -05:00
getting-started.scrbl	revise README and "Getting Started" info	2013-01-01 15:55:44 -07:00
info.rkt	remove 'always-run style from the doc that list documents	2012-11-24 08:13:51 -07:00
license.scrbl	JIT for ARM	2013-04-08 14:43:30 -06:00
release.scrbl
search.scrbl
start.scrbl	Use the `not-on-the-web' style *around* the installation comment.	2013-02-28 15:11:04 -05:00