Eli Barzilay
d5ecb66993
Added syntax property checking (only locations for now, but will be extended).
...
svn: r15791
original commit: 82f0d336d4c622da1d283127eefe98b4c8f0e05d
2009-08-21 13:04:19 +00:00
Eli Barzilay
384cb26706
minor reorganization
...
svn: r15790
original commit: d863e0749275fe2e72cbf1e45c56c6190a53b0b2
2009-08-21 11:40:29 +00:00
Eli Barzilay
4fc918a4d7
In Scheme mode @|| will also throw an error instead of being read as a
...
comment. This is to avoid confusing situations like
(define foo (list x '@|| y))
which quoted the `y' since @|| was read as a comment.
svn: r15789
original commit: 1ea8c6651112f9c0bb8257bf9636b53b93c50cf9
2009-08-21 11:11:21 +00:00
Matthew Flatt
c5bbbc0907
setup-plt -D skips compilation of .scrbl files
...
svn: r15727
original commit: f37c71c6ee298290acb93319e21ba5048fac3a27
2009-08-13 16:24:33 +00:00
Matthew Flatt
61608f848b
more latex accented characters
...
svn: r15711
original commit: 5ff1429b6dacc3b6527efd26c653f4f95860d163
2009-08-12 18:58:49 +00:00
Jay McCarthy
8991d41568
Adding more specific contracts
...
svn: r15709
original commit: 3432cf282f8324fe6b82d6ba1ba240f73c69fe7e
2009-08-11 22:31:44 +00:00
Jay McCarthy
3cb08618a7
Adding more specific contracts
...
svn: r15708
original commit: d8bc61ae41f75aa49867f19124ab63f35c4367cb
2009-08-11 22:10:47 +00:00
Jay McCarthy
a25a225d89
Adding doc based contracts
...
svn: r15707
original commit: 18093d26e1a6a449e112a53bd9e967da3558ef82
2009-08-11 21:24:45 +00:00
Matthew Flatt
1e9aa6860a
Scribble latex output and 'never-indents
...
svn: r15695
original commit: bdeaa475b3fb97d0ffc1795e656b2df6164ec1e1
2009-08-10 22:01:32 +00:00
Matthew Flatt
2647917923
within a single document for multi-HTML rendering, add section prefix in generated file names
...
svn: r15693
original commit: a195a5defd342435d284c86c076130b5ffb9846e
2009-08-09 14:05:43 +00:00
Matthew Flatt
7af608e112
Scribble: fix generic sub-flow CSS
...
svn: r15667
original commit: 39b2764a70a877638082d32d0b4e8414f1c98b38
2009-08-04 11:30:58 +00:00
Matthew Flatt
dff75b089c
add accented a
...
svn: r15662
original commit: 5cdac2722adc37979a6a93d83f22c9d29dbede37
2009-08-02 16:55:39 +00:00
Matthew Flatt
08460c18df
fix some contracts
...
svn: r15661
original commit: f1af318776ea05ca7de85246852848b87f5f84c4
2009-08-02 13:36:25 +00:00
Eli Barzilay
b0828c2bbf
* Improved tester definitions
...
* Testing read errors too now
svn: r15632
original commit: 1ce41ec179a1254a57d8de2fad8dd9aa726afa89
2009-07-30 03:17:50 +00:00
Matthew Flatt
2d86232ba0
add file-or-directory-identity (4.1.2.5)
...
svn: r15623
original commit: a47d94f75f4099c5fcc1ed8a85fad456a0d7537f
2009-07-29 17:39:03 +00:00
Eli Barzilay
1786776961
@foo@bar' will now parse as a foo@bar' identifier. This used to be
...
the case in Scheme mode but not in text mode, and this commit makes
the text mode behave as the Scheme mode. (Seems like a convenience
point that is not useful since people won't remember the difference.)
svn: r15622
original commit: d0f8970addc95bb98c17bfac06ca9077ec535e51
2009-07-29 17:00:29 +00:00
Matthew Flatt
ea7c1d38f0
defmodulelang and schememodlink changes to split lang text and module path
...
svn: r15619
original commit: 970a796bc678c8e6c8223a39e646e8c19daf42db
2009-07-29 13:15:50 +00:00
Matthew Flatt
5d62e4e005
#lang syntax coloring; Scribble syntax coloring
...
svn: r15607
original commit: 1ba7cf0926a46122d7f759a2dccf086e2ba939a9
2009-07-28 18:06:14 +00:00
Matthew Flatt
feaf24cd36
change scribble 'variant' to 'property'; add contracts in scribble/decode
...
svn: r15581
original commit: 229e2636de7d5ee4ac77f209e9fae2a9f926afc3
2009-07-27 03:55:43 +00:00
Eli Barzilay
fedf4f6328
removed redundant @s
...
svn: r15578
original commit: 9fab3b085acb5cfdb97ef4f30ba977ab9a935147
2009-07-26 22:54:36 +00:00
Jay McCarthy
2245e36104
A few more typos I noticed
...
svn: r15577
original commit: 1f97344aa96ed6985bb97a2593afe7a7d9a36f7f
2009-07-26 19:44:03 +00:00
Jay McCarthy
ef9f7d4ff3
Fixing a small typo
...
svn: r15576
original commit: 029fc31b34f9e38b138504eed624273a13d9cb10
2009-07-26 19:05:41 +00:00
Matthew Flatt
3b2f37b11a
fix generated HTML name for the getting-started section of the Scribble manual
...
svn: r15573
original commit: f777ae61a086b367cbd1877e2f3cf274b30b5650
2009-07-26 03:23:40 +00:00
Eli Barzilay
f10501cb03
typo
...
svn: r15572
original commit: c73cb3330a9f9e113f411c3d5faf6d14654275d9
2009-07-26 03:02:00 +00:00
Matthew Flatt
99bfecf4ba
Scribble manual typos and up-to-date scribble/sigplan docs
...
svn: r15571
original commit: bc9eef93f62ded58a99f630b61c4ad6d8110e2fa
2009-07-26 02:52:37 +00:00
Matthew Flatt
4b30348010
more improvements to the Scribble manual
...
svn: r15570
original commit: 3cb5bf183505c60f7428ca558894d52a173469ed
2009-07-26 02:25:07 +00:00
Matthew Flatt
478de81b55
major Scribble revision (v4.2.1.2)
...
svn: r15569
original commit: 345c17e85c78771b1dd237c99c58571eb9f5fe7d
2009-07-25 20:25:33 +00:00
Matthew Flatt
44a248fef1
add 'other-authors' to generetae et al., fix no-author citations
...
svn: r15507
original commit: b2c287aee4788595fa718a94fea392937215f420
2009-07-20 20:35:15 +00:00
Matthew Flatt
f117afdeef
fix HTML rendering bug
...
svn: r15506
original commit: da12c07d2b83ee4a56f06a824fe62257a7ae02cb
2009-07-20 19:54:19 +00:00
Matthew Flatt
1966bd5bb7
Scribble: refine Latex output again to allow more page breaks
...
svn: r15505
original commit: 0fc2ad54db528fabed80ee895269b8e0e3bd3401
2009-07-20 19:40:14 +00:00
Eli Barzilay
483607b4ca
comment
...
svn: r15458
original commit: abc18a40c38b7b041359bb31550c520817660125
2009-07-16 12:25:13 +00:00
Eli Barzilay
38a0fcf853
prefix -> add-prefix
...
svn: r15456
original commit: 19462e97c4b3ec173c6f843bc5c5127c1ec9732f
2009-07-16 12:21:52 +00:00
Matthew Flatt
ad769b4767
correct sizing of bib, finally
...
svn: r15453
original commit: d6f5ace735e960253bf32a4692625001aea40c60
2009-07-15 22:54:17 +00:00
Matthew Flatt
cd62e69e19
fix autobib use of smaller
...
svn: r15452
original commit: 1ce158af7f2a4a4b830d6e9669b16f11823da5e0
2009-07-15 22:31:39 +00:00
Matthew Flatt
bc2e911ed3
autobib style: use smaller font
...
svn: r15451
original commit: 7e2791677873fb7c3784554e29caa968a48ce58e
2009-07-15 20:26:10 +00:00
Ryan Culpepper
eddaed4bd7
autobib fixed author list commas
...
svn: r15447
original commit: a02fa6709c70a921fb65aa49d384c5b8d82f0c74
2009-07-14 23:53:24 +00:00
Eli Barzilay
9364e1f692
svn: r15441
...
original commit: fdd99a0b0ee8208a7836044d60a209c7bd209b87
2009-07-14 03:48:28 +00:00
Eli Barzilay
4c6575e28c
added set-prefix
...
svn: r15440
original commit: b7b143120b8c2800a2849e616fb762beed66b50d
2009-07-14 03:33:38 +00:00
Matthew Flatt
a0b4797b47
fix --xref-out flag
...
svn: r15437
original commit: 48226b88bebe48a2fbd38d47d14eca2cf5a122e9
2009-07-12 13:37:01 +00:00
Eli Barzilay
f187897782
add with-writer
...
svn: r15426
original commit: bb32de35603c29671ef5fb96be04f3f4cad79c43
2009-07-11 02:10:02 +00:00
Eli Barzilay
9685a9bb56
svn: r15422
...
original commit: c038edeadaef31c8da312cc41e99369436241c58
2009-07-09 20:57:00 +00:00
Eli Barzilay
e4bf3fb619
fix width issue
...
svn: r15413
original commit: 83c356ff21805c07a7ad1123bbb5e0832578db23
2009-07-09 05:23:18 +00:00
Eli Barzilay
1d6e47b730
rename verbatim and unverbatim to disable-prefix and restore-prefix
...
svn: r15411
original commit: 4239d22ded3affd545a9b8693632249a3f5b6f8a
2009-07-08 21:28:55 +00:00
Matthew Flatt
fa8393489e
scriblib/autobib: add dissertation-location
...
svn: r15398
original commit: 3e4d8669c4491dc1e8c08f3f0e8eaeb5a6bf3ade
2009-07-06 18:05:43 +00:00
Matthew Flatt
21224434fb
fix Latex rendering for some accented Roman characters
...
svn: r15395
original commit: 7527c219b7a65fe26be327a8a775793335c035df
2009-07-06 15:12:22 +00:00
Matthew Flatt
0797e7de50
fix autobib.tex
...
svn: r15388
original commit: 7156b760fbd75fde8b46667bc109418de33ab33c
2009-07-05 15:13:24 +00:00
Eli Barzilay
e7c536e42b
Newlines at EOFs
...
svn: r15380
original commit: a70bf64fd9d68487c128282ca85a8964e1592711
2009-07-04 02:28:31 +00:00
Matthew Flatt
033b578194
add compound-paragraphs to Scribble, improve Latex rendering for unnested single-column tables
...
svn: r15378
original commit: bcfb69b21f0366bd0342b0fd272565686fea1f3f
2009-07-04 00:52:03 +00:00
Matthew Flatt
7f2f78e27b
adjust planet client to handle nested planet invocations by re-building the doc index only once
...
svn: r15246
original commit: 53a011cf653a3df518b76f6bac3c59a90d55755a
2009-06-23 22:02:07 +00:00
Matthew Flatt
a2518f69c2
change get-info to use a separate namespace; add make-eval-factory and make-base-eval-factory
...
svn: r15205
original commit: c25ca2532010cdc5c413898a9a6e94905f710516
2009-06-18 10:35:13 +00:00
