converted a bunch of tex-isms to scribble-isms and other small improvements in the docs

svn: r9760

collects/drscheme/private/ts.ss

@@ -0,0 +1,12 @@
+#reader scribble/reader
+#lang scheme/base
+
+(require scribble/decode
+         scribble/manual)
+
+(define (phase n)
+  (make-splice
+   @list{This function can only be called in
+              phase @(number->string n) (see @secref["implementing-tools"] for details).}))
+
+(provide phase)

collects/scribble/srcdoc.ss

@@ -6,6 +6,7 @@
 
 (provide require/doc
          provide/doc
+         thing-doc
          parameter-doc
          proc-doc
          proc-doc/names)
@@ -205,3 +206,19 @@
           #'(defparam id arg-id contract . desc)
           #'(scribble/manual)
           #'id))])))
+
+(define-provide/doc-transformer thing-doc
+  (lambda (stx)
+    (syntax-case stx ()
+      [(_ id contract desc)
+       (begin
+         (unless (identifier? #'id)
+           (raise-syntax-error 'parameter/doc 
+                               "expected an identifier"
+                               stx
+                               #'id))
+         (values
+          #'[id contract]
+          #'(defthing id contract . desc)
+          #'(scribble/manual)
+          #'id))])))

collects/scribblings/tools/tools.scrbl

@@ -43,7 +43,7 @@ Christian Queinnec,
 PLT at large, and many others for
 their feedback and help.
 
-@section{Implementing DrScheme Tools}
+@section[#:tag "implementing-tools"]{Implementing DrScheme Tools}
 
 Tools are designed for major extensions in DrScheme's
 functionality.  To extend the appearance