Matthew Flatt 17865bfa84 scribble/latex-properties: add `command-extras' ... This style property is a way to add to the Latex output that is ignored for HTML and other output.		2013-01-24 06:43:10 -05:00
..
drracket	remove 'create executable' functionality from drracket for all	2013-01-05 12:19:26 -06:00
gracket	Fixes more spelling errors.	2011-02-04 19:44:13 -07:00
plai	Normalizing PLAI wrt tree	2010-02-16 20:23:32 +00:00
racket	scribble/latex-properties: add `command-extras'	2013-01-24 06:43:10 -05:00
redex	updated HISTORY	2013-01-17 19:50:14 -06:00
stepper	updated release notes for 5.3.2.	2013-01-21 10:13:14 -08:00
teachpack	history updated for 5.3.2; PLEASE MERGE	2013-01-22 10:37:07 -05:00
typed-racket	Updated TR history.	2013-01-18 15:33:12 -05:00
COPYING-libscheme.txt	301.15: new install tree for Unix, moved docs, moved teachpacks, added config.ss	2006-05-18 15:03:05 +00:00
COPYING.txt	Switch the license text from LGPLv2 to LGPLv2.1.	2011-05-27 18:09:55 -04:00