Matthew Flatt
23b8961abf
narrower formatting of docs
...
svn: r6256
original commit: 6c7081f0e62f2479e00641a7fa1a432a510a915b
2007-05-24 07:08:31 +00:00
Matthew Flatt
74516bd363
simple navigation for HTML output
...
svn: r6254
original commit: 8ab6ad2c9cb30395bc85423ebe943f7e36166e9f
2007-05-24 06:03:29 +00:00
Matthew Flatt
9b7993ea02
scribble extensions to support the new docs
...
svn: r6248
original commit: 1df44725567621dfc64bdd14de426f8d23d91eaf
2007-05-24 01:26:39 +00:00
Matthew Flatt
1819acbb1b
add read-inside and read-inside-syntax
...
svn: r6029
original commit: 08a13a18cbe3d4931144780514e8673780c2a1de
2007-04-24 01:31:30 +00:00
Eli Barzilay
81efb61563
Some tweaks
...
svn: r3966
original commit: ff59f38105dc85a55a1edf3cbafa7387440588e1
2006-08-04 19:59:52 +00:00
Eli Barzilay
1f1408a8af
added a note
...
svn: r2971
original commit: c9ffbcbdc89188d8b40b7a327c02bba660cb9a0f
2006-05-18 18:57:06 +00:00
Eli Barzilay
a065dfaf7f
- Newline strings instead of `eol' identifiers
...
- Special text markers are |{ ... }|
- No more need for $ escapes, use body-less @-commands
- Add indentation strings
svn: r2969
original commit: 4f6b53c1d0b055792ba36d82723c3aaf8eb36ce7
2006-05-18 18:32:13 +00:00
Eli Barzilay
bd5562bcab
initial version
...
svn: r2960
original commit: 6714169149d0918a0f6927cf427bf0781163e8f1
2006-05-18 01:43:31 +00:00
