suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Commit Graph

  • c39df9872e use PDF-based picts in the Latex build of the Quick tutorial; in general, change a .pdf image extension to .png for HTML output; add package-original-identifiers and fix package-exporte-identifiers Matthew Flatt 2009-02-04 21:03:28 +0000
  • 4458927b2d fix unbound variable Sam Tobin-Hochstadt 2009-02-04 19:30:23 +0000
  • 26fd5fcff1 forgot to save these with the previous commit Eli Barzilay 2009-02-04 16:31:59 +0000
  • eb3a362e40 some paren typos Eli Barzilay 2009-02-04 16:28:14 +0000
  • 6654439df1 fix Scribble output of multi-line error messages, especially when they contain a blank line; minor doc repairs Matthew Flatt 2009-01-30 16:41:42 +0000
  • 74e933d24e fix #:all-defined for 'define-package' by adjusting 'identifier-remove-from-definition-context'; add for-syntax 'package?' and 'package-export-identifiers'; adjust Scribble to find definitions of phase-1 exports Matthew Flatt 2009-01-21 20:00:55 +0000
  • cead2168ac newlines at EOFs Eli Barzilay 2009-01-14 03:10:47 +0000
  • 8686fbf81c fix scribble to place different images with the same source name in different destination filenames Matthew Flatt 2009-01-09 21:30:43 +0000
  • 322be283e3 add #:contracts optional sub-form to defform Matthew Flatt 2009-01-05 14:00:07 +0000
  • e296df0471 fix problem with gif->png suffix change; fix ToC when a subsection has a tag prefix Matthew Flatt 2009-01-05 12:06:33 +0000
  • c8a8d37408 doc .gif->.png for Scribble Latex output Matthew Flatt 2009-01-05 10:24:02 +0000
  • 233a65234c use define-unsafer for ffi/objc; fix more teachpack doc latex-output problems Matthew Flatt 2009-01-05 10:20:17 +0000
  • 175881e5a5 change 'help' to open the main doc page instead of the docs for 'help' itself Matthew Flatt 2009-01-04 23:15:50 +0000
  • 113935619f document compiler/zo-parse and compiler/decompile Matthew Flatt 2008-12-28 18:57:13 +0000
  • 710b66d58c minor clarification to section-index docs Matthew Flatt 2008-12-21 13:59:47 +0000
  • 72c0651986 fine-tune typechecking index entry Matthew Flatt 2008-12-21 13:57:46 +0000
  • c77f08c015 Added `call-with-trusted-sandbox-configuration', and used in scribble and in tests. Eli Barzilay 2008-12-16 20:29:17 +0000
  • 59a4845d0a * No nested code inspector for scribble sandboxes * No nested inspectors or memory limit for testing sandboxes Eli Barzilay 2008-12-15 18:29:59 +0000
  • 5302203d42 disable sandbox memory limit for docs Matthew Flatt 2008-12-12 20:45:02 +0000
  • 58f9cd85ed better syntax checking for scribble defform #:literals Matthew Flatt 2008-11-30 13:25:10 +0000
  • 10af6b4da4 slightly better duplicate-key error reporting from Scribble Matthew Flatt 2008-11-17 17:36:35 +0000
  • d975dc7f2d fix defstruct rendering (PR 9906) Matthew Flatt 2008-11-12 19:09:14 +0000
  • 4bc0939c57 speed up doc build a little; fix bugs related to getting continuation marks from a thread and using the errortrace profiler Matthew Flatt 2008-11-04 23:32:44 +0000
  • 53f9aad182 add --redirect-main to scribble Matthew Flatt 2008-11-04 12:16:45 +0000
  • 1e26551bb6 manipulate scribble --redirect option as URL instead of string Matthew Flatt 2008-11-04 11:55:51 +0000
  • fa3a1de098 doc repairs Matthew Flatt 2008-11-02 12:28:59 +0000
  • 5a7821c879 split scribble/manual module into smaller modules Matthew Flatt 2008-10-28 01:40:51 +0000
  • d6f7cf6e56 fix typo; layout Eli Barzilay 2008-10-27 13:37:47 +0000
  • b70318935e put search-box input inside form in Scribbled HTML Matthew Flatt 2008-10-27 13:06:01 +0000
  • 1096283709 unit bug fixes related to new scoping of signature elements; change scribble/manual to compute ids typeset as variables at compile time, in preparation for moving from a parameter to syntax bindings; fix docs typos; extend decompiler's support for unmarshaling syntax objects Matthew Flatt 2008-10-15 22:23:56 +0000
  • 88e4b31afe remove search box for Scribble HTML output unless requested; move some hardwired styles to CSS file Matthew Flatt 2008-10-14 01:53:34 +0000
  • 611fb883c7 fix missing page numbers in index of latex output Matthew Flatt 2008-10-13 20:34:45 +0000
  • 21f5773171 adjust HTML rendering of paragraphs as table cells; avoiding 'p' tags makes cut-and-paste work better Matthew Flatt 2008-10-12 16:14:39 +0000
  • 82b6b41ac3 fix HTML problems that affect Opera; add ++style to scribble executable; fix some Latex back-end issues Matthew Flatt 2008-10-12 15:53:49 +0000
  • 6d37b145df fix great awlful memory leak in scribble's collect phase (which was exposed most clearly by the web-server tutorial); change in.sxref to be use fasl (bytecode) format Matthew Flatt 2008-10-11 14:50:22 +0000
  • 2e8e8fb730 proper fix for the latex problem (blockquote was used unnecessarily) Eli Barzilay 2008-10-05 02:23:21 +0000
  • 420041b903 bad hack to make compilation go through Eli Barzilay 2008-10-04 21:20:35 +0000
  • d173c0e6bc fix docs for bibliography Matthew Flatt 2008-10-01 16:04:05 +0000
  • 9e662ec656 fix docs for bib-entry Matthew Flatt 2008-10-01 15:59:46 +0000
  • a525409f9b add ++xref-in flag to scribble Matthew Flatt 2008-10-01 13:03:06 +0000
  • c954445908 pull out the right bindings from the right places Eli Barzilay 2008-09-26 13:16:02 +0000
  • 1c19af99c4 better to use begin Eli Barzilay 2008-09-24 18:05:46 +0000
  • 64919abe7b remove old unnecessary function definition Eli Barzilay 2008-09-23 20:46:58 +0000
  • 1171920a82 sample code for diverting searches somewhere online Eli Barzilay 2008-09-22 20:05:38 +0000
  • cb9a985182 Rename input files so they get compiled too. (And also see that the resulting .dep files are good re `include') Eli Barzilay 2008-09-17 14:26:40 +0000
  • 4e0988f3a8 preprocessor tests Eli Barzilay 2008-09-17 14:19:55 +0000
  • 5cee45dc0b * Added text utilities * begin/collect, and a begin/text that is based on it (ignoring inter-defns spaces) * include/text, available as `include' in the scribble/text langauge * tests, only for begin/collect for now Eli Barzilay 2008-09-16 00:46:35 +0000
  • 8733ec9586 svn: r11674 Eli Barzilay 2008-09-12 13:23:52 +0000
  • 916eaca8fa improved reader documentation Eli Barzilay 2008-09-12 13:22:31 +0000
  • 31a7a10dc3 Start revising scribble/text (include temporarily removed). Eli Barzilay 2008-09-05 18:53:50 +0000
  • 8c28c37118 switch to plain-module-begin, to avoid redundant extra outputs Eli Barzilay 2008-09-05 18:44:06 +0000
  • fd1adc4cea avoid using state, and add getting rid of pre-definition indentations Eli Barzilay 2008-09-05 18:43:22 +0000
  • d83e6d7fc7 Fix to compile. Sam Tobin-Hochstadt 2008-09-05 17:59:49 +0000
  • 60377e2c3e First version of textlang, using state to eliminate newlines Eli Barzilay 2008-09-05 12:38:53 +0000
  • 970dcd1ab0 extend syntax/module-reader to avoid ugly hack in scribble/doc/reader Eli Barzilay 2008-09-02 04:06:08 +0000
  • 42d983a3cf All readers now use syntax/module-reader Eli Barzilay 2008-09-01 07:26:53 +0000
  • fb906ad2d0 fix problem building docs for planet Matthew Flatt 2008-08-29 13:15:09 +0000
  • 7d9c1e7c75 fix some remaining Latex-isms that Eli found in the docs Matthew Flatt 2008-08-27 12:28:24 +0000
  • 74abe64e45 Use an nonexistent css class for installation warning message, so when it's installed on the web page it's easy to add the missing class with a `display: none' so it's not show without any html rehacking. Disabled the "(installation)" suffix to the main title for now: it's also used for the window title and that shouldn't have the suffix because the browser window will have it. Eli Barzilay 2008-08-27 11:19:20 +0000
  • 7da94ae67c Lots of minor edits -- mainly dropping unnecessary backslashes and using @litchar with braces. Eli Barzilay 2008-08-27 08:35:27 +0000
  • 00c08e450a Corrected syntax for #:use-sources clause of declare-exporting. Carl Eastlund 2008-08-23 20:48:40 +0000
  • 571a30746b fix 'author' spec Matthew Flatt 2008-08-15 20:19:42 +0000
  • d3a86d35e5 assign authors to manuals Matthew Flatt 2008-08-15 20:16:06 +0000
  • 7c83877190 better error reporting for code:comment, and better docs for schememod Matthew Flatt 2008-08-13 01:25:53 +0000
  • c442655ac2 fix schemegrammar* Matthew Flatt 2008-07-30 17:20:09 +0000
  • 5ffcc610ba document ways to control Scribble TOC output Matthew Flatt 2008-07-29 20:40:25 +0000
  • 48e3293a0b fix '(nonnegative|positive)-exact-integer?' contracts (moving 'exact-' to the front where it belongs) Matthew Flatt 2008-07-29 12:56:05 +0000
  • cb550a460a search-context has the proper suffix now Eli Barzilay 2008-07-29 04:32:58 +0000
  • 03ac8b12bd More greek letters for scribble latex rendering. Sam Tobin-Hochstadt 2008-07-27 03:08:10 +0000
  • bad192a1c6 adjust Scribble para/div style handling Matthew Flatt 2008-07-25 13:16:06 +0000
  • 81004dcf38 added context label Eli Barzilay 2008-07-25 02:05:00 +0000
  • 29a7a0fa93 tweak table-of-contents rendering again Matthew Flatt 2008-07-24 13:45:08 +0000
  • affe327c7d tweak doc HTML toc rendering Matthew Flatt 2008-07-24 13:07:59 +0000
  • 4367ba6549 fix searching a different way, which more likely matches the intent Matthew Flatt 2008-07-24 11:41:21 +0000
  • 133883ef2e scribble and doc improvements Matthew Flatt 2008-07-24 11:32:16 +0000
  • 35ca52a88d hack: see comment Eli Barzilay 2008-07-24 08:16:07 +0000
  • e186bdee0f avoid potentially bad JS for...in Eli Barzilay 2008-07-23 19:05:15 +0000
  • c6a534f0b4 properties can now effectively inherit properties (v4.0.2.5) Matthew Flatt 2008-07-21 17:04:25 +0000
  • 5db56595cc add noborder latex macro Matthew Flatt 2008-07-16 01:04:01 +0000
  • 78bd91e1a0 remove hyperlink border for doc icons in game titles Matthew Flatt 2008-07-15 22:23:41 +0000
  • 5ddbe502ff add render-element structure, and use it in the search doc Matthew Flatt 2008-07-15 22:03:36 +0000
  • d2552556d5 * use version/utils instead of a private copy of the same code * removed planet/private/test.ss which was testing that code * changed angle brackets used in syntax renderings (got lumped in this commit by mistake) Eli Barzilay 2008-07-14 09:19:29 +0000
  • 28f34349dd scribble fixes -- nested @scheme and a few other similar problems Eli Barzilay 2008-07-13 17:13:20 +0000
  • d1a3a0a6c2 adjust the way framework and tools docs extract documentation Matthew Flatt 2008-07-12 15:37:31 +0000
  • d76f2f52f7 fix HTML rendering of a table at start of itemization Matthew Flatt 2008-07-12 12:28:05 +0000
  • 0a830f4c8f added a space after mathimpl/mathspec header, so it can be used independent of an empty line at the beginning Eli Barzilay 2008-07-12 07:02:50 +0000
  • eaedcae9f0 fix search box path when there is no PLT_Root cookie Eli Barzilay 2008-07-11 20:39:18 +0000
  • 3d4b9088cd * some fixes to make-search.ss * rename search-context.html to .htm to avoid being deleted by setup/scribble * added context to help/search interface Eli Barzilay 2008-07-11 09:50:29 +0000
  • d289bbb2a2 improved navset padding Eli Barzilay 2008-07-08 16:15:05 +0000
  • c4bb36be66 removed unused commented-out code Eli Barzilay 2008-07-08 16:06:48 +0000
  • fd3855f965 toc links fix Eli Barzilay 2008-07-08 15:32:47 +0000
  • 6892b05531 better vertical placement of search box Eli Barzilay 2008-07-06 14:58:20 +0000
  • 1f02db2dc4 Search box has same font size as the rest of the navset, and is wider. Eli Barzilay 2008-07-06 05:10:52 +0000
  • 2a4c8209b2 * 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) Eli Barzilay 2008-07-06 05:00:26 +0000
  • 84c53e5ada try a different pair of characters for expanded/collapsed toc entries Eli Barzilay 2008-07-06 02:55:22 +0000
  • b5ffac92b0 new toc in manual pages Eli Barzilay 2008-07-05 01:50:18 +0000
  • 5c0c67f59d improve title link in tocset (use tocviewselflink for the title too) Eli Barzilay 2008-07-04 01:55:03 +0000
  • c0575d104b avoid genarating toc-content if not needed Eli Barzilay 2008-07-04 01:04:18 +0000
  • e578b6c328 minor Eli Barzilay 2008-07-03 10:30:54 +0000
  • e47582cec2 fix empty searchbox label, again Eli Barzilay 2008-07-03 09:07:48 +0000