Robby Findler
|
1becb336fc
|
added Matthew
svn: r11289
original commit: f1fc3121763776e0acb08783c1fdd93d4a01ac55
|
2008-08-15 20:25:58 +00:00 |
|
Matthew Flatt
|
8e7b235a19
|
assign authors to manuals
svn: r11287
original commit: 9453aaaccf2f0007bae450c291e1cd29a7a14696
|
2008-08-15 20:16:06 +00:00 |
|
Robby Findler
|
7455e3ea03
|
adjusted typesetting of requires to make them linked
svn: r9821
original commit: 72cb7a1c0a673f97b387c9a0f3a20462aff8325d
|
2008-05-13 04:20:07 +00:00 |
|
Robby Findler
|
6edf1e8bcb
|
fixed up the framework docs so there are no more warnings
svn: r9810
original commit: 9d634308ee30f1ce41355ffb35699b961fe742a5
|
2008-05-12 01:53:47 +00:00 |
|
Robby Findler
|
5882e55eaf
|
svn: r9778
original commit: 9518b82dbaa23c9db1c50056ace7c869ec46b039
|
2008-05-09 22:15:58 +00:00 |
|
Matthew Flatt
|
fa8a981a95
|
framework minor repairs (after tests)
svn: r9690
original commit: a7aadea865727c968dac695d2f3f9987738e55b7
|
2008-05-06 15:29:58 +00:00 |
|
Robby Findler
|
02c6d6f3e9
|
moving to school
svn: r9561
original commit: d08039585bc8363374b1ce57102336963aa96126
|
2008-05-01 12:43:43 +00:00 |
|
Robby Findler
|
6e466e5c1b
|
removed todo
svn: r9552
original commit: 4e2f540f6dcadcaa94270769072c27be3aaee395
|
2008-04-30 23:04:38 +00:00 |
|
Robby Findler
|
a3e4f252df
|
moved all of the framework's function documentation into the scribble/srcdoc world
svn: r9545
original commit: 3eb20f5a11269e7f1948c67c655efedab0766dd7
|
2008-04-30 19:18:52 +00:00 |
|
Robby Findler
|
cea170dadd
|
more progress on the framework docs
svn: r9539
original commit: faaa7d1bc1b14dfddc3a784c912b0d4aae98d73d
|
2008-04-29 22:51:59 +00:00 |
|
Robby Findler
|
b357af4a14
|
svn: r9504
original commit: aa5eb38972803620b5cee831cb124be7be5352a2
|
2008-04-27 14:59:14 +00:00 |
|
Robby Findler
|
45a7f4f451
|
added docs for the gui-utils and the textual preferences to the framework
svn: r9503
original commit: d07eff8bceb5d1b07deb074d1e180f3f9ba713d7
|
2008-04-27 14:57:09 +00:00 |
|
Robby Findler
|
e7d4fce3b2
|
ported the documentation for the framework's test library -- also extended srcdoc.ss a little bit
svn: r9499
original commit: 6a53f96e06fbf7a23d7eb40c35a711e9de103eaf
|
2008-04-27 02:55:21 +00:00 |
|
Robby Findler
|
64ecb612fe
|
a little framework progress
svn: r9496
original commit: d3e6f29e38611cfebf3dac7f40d272100dd036ae
|
2008-04-26 19:07:54 +00:00 |
|
Robby Findler
|
e92ac89026
|
a little more of the framework manual is done
svn: r9454
original commit: e4563319dbba547cd828be98743a2f192032d239
|
2008-04-24 12:56:30 +00:00 |
|
Matthew Flatt
|
339588fc7e
|
expand user in file module paths; move framework doc index to end, but also fix Scribble latex output when index is not at the end
svn: r9453
original commit: 99ae76c2e9bc0197ca6dee943bd3531b348c276e
|
2008-04-24 12:36:58 +00:00 |
|
Robby Findler
|
cc56f32d49
|
some progress made documenting the framework
svn: r9443
original commit: 5d6724c75bb252d09fee8def9da2f9f769b0eca2
|
2008-04-23 23:24:17 +00:00 |
|
Robby Findler
|
f44a26e233
|
got thru the docs for the framework's functions
svn: r8983
original commit: 32d1534d90299a62c8c3ed638c5f7a324b973634
|
2008-03-16 03:14:59 +00:00 |
|
Robby Findler
|
447e5a4a69
|
raw, first cut of framework docs: just functions and just contracts so far
svn: r8976
original commit: e86fce444b31a669718195b1ee5257f13e3f3fa4
|
2008-03-15 03:11:04 +00:00 |
|
Eli Barzilay
|
4c7831c04c
|
improved scribble syntax use
svn: r8720
original commit: 264af9a6d0224c7374c0e81d1cb8f25ce45bfd41
|
2008-02-19 12:22:45 +00:00 |
|
Robby Findler
|
2afa0645f9
|
move docs to scribblings directory
svn: r8037
original commit: 92081b685d5e881fc2bc5eb46ef456c5eb8523d5
|
2007-12-17 16:34:17 +00:00 |
|