Commit Graph

14 Commits

Author SHA1 Message Date
Matthew Flatt
a789e2bc7b keyword-ized plot, plot and mime docs
svn: r9304

original commit: fbfc9bf883
2008-04-14 21:26:28 +00:00
Matthew Flatt
716a4f783e more net library docs
svn: r9284

original commit: 2b5d800190
2008-04-13 15:44:10 +00:00
Matthew Flatt
3a067e9495 more net docs
svn: r9279

original commit: 85583d4ebb
2008-04-13 03:07:56 +00:00
Matthew Flatt
8e59e04b24 change -q to config option, fix unlikely race condition in wake-on-signal, add path->url and url->path, and adjust URL parsing
svn: r9239

original commit: 0153e122b7
2008-04-10 19:05:35 +00:00
Matthew Flatt
4f844dce58 scribble/srcdoc experiment in net/gifwrite
svn: r9019

original commit: dba1ddc480
2008-03-18 18:19:25 +00:00
Eli Barzilay
afca02b65f add #:indent to verbatim
svn: r8707

original commit: 6f0ce91461
2008-02-18 20:01:23 +00:00
Eli Barzilay
0972f7505c use @verbatim{...}
svn: r8699

original commit: 9c77909710
2008-02-18 10:49:20 +00:00
Eli Barzilay
eb0532306e * Changed setup-plt to compile collections if they have an "info.ss"
file.  (That is, it does not require the file to have a `name'
  entry.)

* The name shown when setup works is the directory name, followed by
  the `name' field from the info file when specified.

* This means that many `name's are no longer needed, so I'm removing
  them.  To see if you need a `name' entry, consider that the name
  will be shown like this:
    ... foo (<your name here>)
  This means that if the name is the same as the directory name, then
  there is no point in having it.  I also removed cases where the name
  differed only in its capitalization for collections where the case
  is obvious.

* Also, for subcollections, the name should clarify the name of the
  subcollection in context.  For example "Acknowledgments" explains
  what scribbling/acks is, but there's no need to add the context name
  as in "Scribblings: Acknowledgments".

* There may also be a point in keeping names for other uses.  One such
  example was in games, where the name field was used in the PLT Games
  application.  (This was changed to default on the directory name, so
  it is no longer needed in most games.)  Another example is in planet
  packages.

svn: r8629

original commit: 699c40643d
2008-02-12 10:33:01 +00:00
Eli Barzilay
708357dafc typos
svn: r8589

original commit: c693c49767
2008-02-08 19:53:30 +00:00
Eli Barzilay
c44e2cea9e much improved search, extended and fixed sendurl, string-based rendering for xrefs
svn: r8577

original commit: 7539945a3d
2008-02-08 04:32:49 +00:00
Eli Barzilay
a2320e7bd8 switched info.ss files to #lang
svn: r8532

original commit: 3c72e71e24
2008-02-04 23:00:35 +00:00
Eli Barzilay
34bf7f52a0 fix some typos, remove unused 'plt option, move test so there's no internal definition
svn: r8442

original commit: 073ca0d558
2008-01-28 09:17:05 +00:00
Eli Barzilay
50108948b0 remove the now-redundant main-doc option
svn: r8288

original commit: fff894d710
2008-01-11 02:29:49 +00:00
Matthew Flatt
596f8380ba move doc sub-dirs to scribblings sub-dirs
svn: r8281

original commit: b76aa843ab
2008-01-10 20:07:32 +00:00