suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8,123 Commits 17 Branches 54 Tags 278 MiB
0f97bbcd9e
Commit Graph

427 Commits

Author SHA1 Message Date
Matthew Flatt
01691d9240 adjust the way framework and tools docs extract documentation 
svn: r10727
 2008-07-12 15:37:31 +00:00
Matthew Flatt
eff5666a39 fix HTML rendering of a table at start of itemization 
svn: r10725
 2008-07-12 12:28:05 +00:00
Eli Barzilay
7c7bc0fd06 added a space after mathimpl/mathspec header, so it can be used independent of an empty line at the beginning 
svn: r10722
 2008-07-12 07:02:50 +00:00
Eli Barzilay
92440b68eb this file was not used, and was bogus (referred to the "big" collection) 
svn: r10721
 2008-07-12 02:06:53 +00:00
Eli Barzilay
5726d77d87 fix search box path when there is no PLT_Root cookie 
svn: r10720
 2008-07-11 20:39:18 +00:00
Eli Barzilay
7d50e61c7f * Newlines at EOFs 
* Another big chunk of v4-require-isms
* Allow `#lang framework/keybinding-lang' for keybinding files
* Move hierlist sources into "mrlib/hierlist", leave stub behind

svn: r10689
 2008-07-09 07:18:06 +00:00
Eli Barzilay
970f768309 improved navset padding 
svn: r10681
 2008-07-08 16:15:05 +00:00
Eli Barzilay
94748ff8f8 removed unused commented-out code 
svn: r10680
 2008-07-08 16:06:48 +00:00
Eli Barzilay
5f30464c0e toc links fix 
svn: r10678
 2008-07-08 15:32:47 +00:00
Eli Barzilay
9c4d41fb63 better vertical placement of search box 
svn: r10631
 2008-07-06 14:58:20 +00:00
Eli Barzilay
9629528865 Search box has same font size as the rest of the navset, and is wider. 
svn: r10629
 2008-07-06 05:10:52 +00:00
Eli Barzilay
45b2141fa2 * Removed contents' and index' links 
* Don't show `top' link when there is none (fine now since the above
  are gone)
* Don't show right side of navbar when there are no links in it (which
  is only at the start page)

svn: r10628
 2008-07-06 05:00:26 +00:00
Eli Barzilay
f4342ce47c try a different pair of characters for expanded/collapsed toc entries 
svn: r10626
 2008-07-06 02:55:22 +00:00
Eli Barzilay
601a590aa5 new toc in manual pages 
svn: r10606
 2008-07-05 01:50:18 +00:00
Eli Barzilay
a32e251f97 improve title link in tocset (use tocviewselflink for the title too) 
svn: r10593
 2008-07-04 01:55:03 +00:00
Eli Barzilay
9700671534 avoid genarating toc-content if not needed 
svn: r10592
 2008-07-04 01:04:18 +00:00
Eli Barzilay
9a737ade30 minor 
svn: r10577
 2008-07-03 10:30:54 +00:00
Eli Barzilay
7a98aa8db2 fix empty searchbox label, again 
svn: r10576
 2008-07-03 09:07:48 +00:00
Eli Barzilay
3a39b112c9 add numbers to navigation link tooltips 
svn: r10575
 2008-07-03 08:39:55 +00:00
Eli Barzilay
12d4b12d91 make the code match the html 
svn: r10574
 2008-07-03 08:32:47 +00:00
Eli Barzilay
3a18f5b9a2 * always have a navbar, even at the start page 
* add a "top" link to the navbar
* move search box to the left

svn: r10573
 2008-07-03 07:05:20 +00:00
Eli Barzilay
d2c666f1e7 More visually noticeable navigation bar 
svn: r10572
 2008-07-03 05:27:01 +00:00
Eli Barzilay
4f10870042 * Tweaking the search box to look a little better 
* Made up/prev/next links have tooltips with targets

svn: r10490
 2008-06-28 16:21:35 +00:00
Eli Barzilay
f5253f5e74 added a tooltip to the search box 
svn: r10486
 2008-06-28 05:35:02 +00:00
Matthew Flatt
17ab6f6345 header-spacign refinements from Noel 
svn: r10450
 2008-06-25 13:02:49 +00:00
Eli Barzilay
4f880a99c4 darken techlink underlines a little 
svn: r10446
 2008-06-24 19:15:23 +00:00
Eli Barzilay
44cee570a7 minor tweaks 
svn: r10445
 2008-06-24 18:43:51 +00:00
Eli Barzilay
a23c84175c fix techlinks again 
svn: r10444
 2008-06-24 18:42:05 +00:00
Eli Barzilay
b33cd21717 avoid using ">" in css -- so it works on IE too 
svn: r10443
 2008-06-24 18:17:37 +00:00
Matthew Flatt
0e69bbc893 update latex styles for new tech links 
svn: r10437
 2008-06-24 15:16:47 +00:00
Matthew Flatt
80505abf29 render tech links as gray underline, turn blue on hover 
svn: r10436
 2008-06-24 15:12:45 +00:00
Matthew Flatt
bad978a277 make techlink blue 
svn: r10435
 2008-06-24 11:49:42 +00:00
Matthew Flatt
6f8dbf0ec5 make tech links gray; fix-ups in reference manual 
svn: r10430
 2008-06-23 21:03:10 +00:00
Matthew Flatt
3f60a478ad use new 'serialized=?' to tighten setup scribble fixpoint 
svn: r10428
 2008-06-23 19:28:08 +00:00
Eli Barzilay
cdbfcc1283 improved code some 
svn: r10265
 2008-06-15 05:56:46 +00:00
Matthew Flatt
638e458541 fix Latex rendering of subsubsubsections (PR 9487) 
svn: r10235
 2008-06-12 16:22:18 +00:00
Matthew Flatt
64147e45ab fix module-path-index->taglet bug that is mainly exposed when the current directory is a root directory 
svn: r10231
 2008-06-12 13:39:23 +00:00
Eli Barzilay
f7b146d8a0 fix bug when there are no cookies at all 
svn: r10215
 2008-06-11 05:53:52 +00:00
Matthew Flatt
6b721a04f0 fix index output where exporting module's name is not just an identifier 
svn: r10190
 2008-06-08 15:23:51 +00:00
Matthew Flatt
31d9571a47 handle symbolic module names property in module-path-index->taglet 
svn: r10188
 2008-06-08 11:31:07 +00:00
Eli Barzilay
a679c89cb6 fix next-links that climb up more than one level 
svn: r10178
 2008-06-06 15:53:42 +00:00
Matthew Flatt
af1c17353b repair uses of module paths for Scribble keys that I missed before 
svn: r10173
 2008-06-06 15:09:14 +00:00
Matthew Flatt
21fd7b93b3 change the way Scribble generates keys based on modules 
svn: r10170
 2008-06-06 13:24:58 +00:00
Eli Barzilay
ae09de2fa2 avoid warnings for missing user docs 
svn: r10149
 2008-06-05 16:34:53 +00:00
Eli Barzilay
24d6e488ce added a create? argument to get-dest-directory 
svn: r10105
 2008-06-03 01:47:31 +00:00
Eli Barzilay
364c048008 removed some for-syntax requires that are no longer needed for runtime-path 
svn: r10100
 2008-06-03 00:02:59 +00:00
Eli Barzilay
805c168236 * make script accept a path to use for an external script file 
* use it to have the search files as externals (which is significantly
  faster on some browsers (IE))

svn: r10089
 2008-06-02 14:58:54 +00:00
Eli Barzilay
1ad1096068 use class="smaller" for the query input 
svn: r10088
 2008-06-02 13:49:36 +00:00
Eli Barzilay
e48b97a61c change, save & restore preferences 
svn: r10072
 2008-06-01 01:45:13 +00:00
Eli Barzilay
cf5b2dba5b force library order 
svn: r10070
 2008-05-31 16:26:44 +00:00