Eli Barzilay
4b7ec27191
fix a really stupid bug that I introduced in r4490
...
svn: r13971
2009-03-05 20:55:15 +00:00
Matthew Flatt
1c58224202
redex doc typesetting repairs
...
svn: r13970
2009-03-05 17:33:34 +00:00
Robby Findler
c063b4305c
PR 10115
...
svn: r13969
2009-03-05 13:29:25 +00:00
Eli Barzilay
ac70e716f8
delete the target file if it exists
...
svn: r13968
2009-03-05 09:58:12 +00:00
Eli Barzilay
4566a316c9
Welcome to a new PLT day.
...
svn: r13967
2009-03-05 09:52:22 +00:00
Eli Barzilay
9b60be7c5a
* Turn report-output? to an overridable method
...
* New extra-files field, and `render' installs them
(the render of multi-html copies these files to each directory)
* Add an ++extra argument to the scribble command line
* Fix output of the indirect renderer
svn: r13966
2009-03-05 09:49:53 +00:00
Robby Findler
b165d83c73
changed test--> so that it requires a keyword if there are cycles
...
svn: r13964
2009-03-05 02:36:34 +00:00
Casey Klein
c4524ef9ae
Generator support for natural',
integer', and `real' patterns.
...
svn: r13961
2009-03-04 21:13:57 +00:00
Matthew Flatt
cf66f23dc8
fix certification in syntax-local-make-delta-introducer
...
svn: r13960
2009-03-04 20:49:42 +00:00
Casey Klein
b948caaa92
Added natural',
integer', and `real' patterns to Redex.
...
svn: r13957
2009-03-04 20:12:36 +00:00
Eli Barzilay
c9445be62d
look for pdflatex.exe too under windows
...
svn: r13955
2009-03-04 19:36:55 +00:00
Eli Barzilay
360ba9dc79
forgot to add to the last commit
...
svn: r13953
2009-03-04 18:55:13 +00:00
Eli Barzilay
a7fddbd545
Move the prefix-file, style-file, and style-extra-files to be defined
...
in base-render.ss.
svn: r13951
2009-03-04 18:52:56 +00:00
Eli Barzilay
d952b144c2
* run.ss is used for he scribble command-line tool
...
* scribble.ss is gone (ot was doing the running, which run.ss defined)
* converted run.ss to scheme/base
* added private/indirect-renderer which can be used to build renderers
that are based on conversion from the result of an existing
renderer, obviously useful with the latex renderer
* added pdf-render using this and private/run-pdflatex
* added a --pdf option to run.ss
svn: r13946
2009-03-04 16:35:41 +00:00
Robby Findler
e8a47051f7
improved redex's expansion to work better with check syntax (and noted a few other recent changes in the HISTORY.txt file)
...
svn: r13944
2009-03-04 12:59:26 +00:00
Eli Barzilay
dfe1e8740d
Welcome to a new PLT day.
...
svn: r13943
2009-03-04 08:50:26 +00:00
John Clements
4d9e3ebe56
...
...
svn: r13942
2009-03-04 08:34:53 +00:00
John Clements
24fabc146a
...
...
svn: r13941
2009-03-04 08:29:12 +00:00
John Clements
bbe7282496
...
...
svn: r13940
2009-03-04 06:47:17 +00:00
John Clements
7a701cef2c
...
...
svn: r13939
2009-03-04 06:46:00 +00:00
Matthew Flatt
b4f6c524a1
added prop:print-converter
...
svn: r13938
2009-03-04 02:54:22 +00:00
Robby Findler
976ec00702
fixed docs
...
svn: r13937
2009-03-04 02:17:26 +00:00
Eli Barzilay
44890f30ae
mzlib/class -> scheme/class
...
svn: r13936
2009-03-04 01:29:08 +00:00
Matthew Flatt
2d1617e282
fix private library name
...
svn: r13933
2009-03-03 23:05:25 +00:00
Matthew Flatt
826263c629
scriblib
...
svn: r13932
2009-03-03 23:02:24 +00:00
Eli Barzilay
b827890ba5
nicer looking output
...
svn: r13928
2009-03-03 22:20:13 +00:00
Robby Findler
9297ffa2a3
added specification for the main arrow to redex
...
svn: r13924
2009-03-03 20:50:15 +00:00
Jay McCarthy
e1dab52b07
compat
...
svn: r13922
2009-03-03 20:02:31 +00:00
Sam Tobin-Hochstadt
089ebfe492
Typed wrapper for md5.ss from YC.
...
svn: r13921
2009-03-03 20:01:41 +00:00
Eli Barzilay
098cad9135
setup uses the pdflatex iterator from scribble/private/run-pdflatex
...
svn: r13918
2009-03-03 17:38:46 +00:00
Robby Findler
c802c34b9b
disabled the stacktrace trimming
...
svn: r13916
2009-03-03 17:29:38 +00:00
Jay McCarthy
a7126e20a5
dispatching
...
svn: r13914
2009-03-03 17:26:29 +00:00
Robby Findler
8704fe05b2
added optionaldomain specifications to reduction-relations
...
svn: r13913
2009-03-03 16:27:09 +00:00
Eli Barzilay
164171be11
fix from Felix
...
svn: r13912
2009-03-03 16:22:02 +00:00
Robby Findler
995b336f08
errors raised while reducing are now more gracefully handled
...
svn: r13911
2009-03-03 15:31:54 +00:00
Eli Barzilay
6532e8eae9
Welcome to a new PLT day.
...
svn: r13909
2009-03-03 08:50:19 +00:00
Jon Rafkind
11923c3567
add another example with require inside eval for protect-out
...
svn: r13908
2009-03-03 02:51:32 +00:00
Jon Rafkind
bc3e541cf6
example for protect-out
...
svn: r13907
2009-03-03 02:44:59 +00:00
Eli Barzilay
56bb4539d0
fix error message
...
svn: r13906
2009-03-03 02:41:00 +00:00
Sam Tobin-Hochstadt
2b0e89ee2a
Typed version of SRFI 14, from David Van Horn.
...
svn: r13905
2009-03-03 02:09:33 +00:00
Stevie Strickland
44523232e4
While this gets us most of the way there, it doesn't get us all the way,
...
because signature identifiers are shown as quoted. I'll think about this
a little longer.
svn: r13904
2009-03-03 02:07:30 +00:00
Stevie Strickland
2f065df887
Instead of just using the quoted versions of the contracts, actually evaluate
...
them, with signature elements rewritten to quoted versions of the same, so
that we get a better result for the name of the contract used by contract
errors.
svn: r13903
2009-03-03 02:00:31 +00:00
Sam Tobin-Hochstadt
ea156c984c
Fix bugs 10101 and 10100, patch from David Van Horn.
...
svn: r13902
2009-03-03 01:50:09 +00:00
Matthew Flatt
ff0b532864
adjust syntax/loc and some docs
...
svn: r13899
2009-03-02 22:24:25 +00:00
Jay McCarthy
d7c9b2b771
helper function
...
svn: r13898
2009-03-02 22:00:15 +00:00
Matthew Flatt
77d1cfdb84
doc mr-interaction
...
svn: r13897
2009-03-02 19:11:30 +00:00
Jay McCarthy
e51ea7f217
up
...
svn: r13896
2009-03-02 16:21:32 +00:00
Eli Barzilay
5786c0d936
Welcome to a new PLT day.
...
svn: r13895
2009-03-02 08:50:19 +00:00
Robby Findler
036c315621
added more info to popup menu
...
svn: r13894
2009-03-02 02:06:47 +00:00
Matthew Flatt
aaea005d0f
mytexttt -> Scribtexttt
...
svn: r13893
2009-03-01 21:58:41 +00:00