Eli Barzilay
7d50018356
Welcome to a new PLT day.
...
svn: r14001
2009-03-07 08:50:21 +00:00
Eli Barzilay
1b5e4ffa87
typo
...
svn: r14000
2009-03-07 00:46:28 +00:00
Matthew Flatt
282a404ada
all expression forms tested for zo-marshal
...
svn: r13998
2009-03-06 23:27:10 +00:00
Matthew Flatt
cdfb6e5f67
more bytecode-parsing checks
...
svn: r13997
2009-03-06 23:26:44 +00:00
Matthew Flatt
4d4d2f54e2
fix references docs: buffer-mode argument to make-output-port is optional
...
svn: r13995
2009-03-06 22:23:49 +00:00
Ryan Culpepper
e2f588554a
macro debugger: fixes for PR 10090
...
pass1/pass2 for module-begin tagging vs module body expansion
reset current syntax on entry to bind-syntaxes
svn: r13993
2009-03-06 21:20:24 +00:00
Matthew Flatt
c65758639b
add missing check in bytecode unmarshaling
...
svn: r13991
2009-03-06 19:59:13 +00:00
Matthew Flatt
a5cccd73cb
rewind incorrect validator 'fix'
...
svn: r13990
2009-03-06 19:57:10 +00:00
Matthew Flatt
d1189e5f6a
fix set-smoothing problem for bitmap-dc% having no bitmap
...
svn: r13987
2009-03-06 19:38:40 +00:00
Robby Findler
cab47712fb
svn: r13986
2009-03-06 19:37:04 +00:00
Matthew Flatt
060bb38ebb
more fixes when 'toc sections are not immediately under a 'toc section
...
svn: r13985
2009-03-06 18:41:39 +00:00
Matthew Flatt
946a39221a
some zo-marshal repairs
...
svn: r13984
2009-03-06 17:37:28 +00:00
Matthew Flatt
5cefebf1ee
Scribble: add 'non-toc style for --htmls output
...
svn: r13983
2009-03-06 17:35:22 +00:00
Robby Findler
0ac95309b2
svn: r13981
2009-03-06 17:12:36 +00:00
Robby Findler
283c1819a9
a bunch of improvements to the splash screen (loads less code before the splash appears, got rid of a bunch of dynamic-requires that were not necessary, fixed the lack of special screen on prince kuhio and king kamehameha days, got rid of the flicker in the tools icons)
...
svn: r13980
2009-03-06 16:35:04 +00:00
Matthew Flatt
f1e646c8f9
zo-marshal bug fixes and start at test suite
...
svn: r13979
2009-03-06 15:22:33 +00:00
Eli Barzilay
135d51e0f0
Welcome to a new PLT day.
...
svn: r13978
2009-03-06 08:50:28 +00:00
Matthew Flatt
1ecc6abaa0
remove bad write-bytecode file
...
svn: r13977
2009-03-06 02:24:00 +00:00
Matthew Flatt
5a8bd8b724
partially working compiler/zo-marshal
...
svn: r13976
2009-03-06 02:23:19 +00:00
Matthew Flatt
aa4587890d
fix some zo-verification bugs that Casey found
...
svn: r13975
2009-03-06 02:22:40 +00:00
Matthew Flatt
25e7978999
rename write-bytecode to zo-marshal
...
svn: r13974
2009-03-06 00:48:08 +00:00
Matthew Flatt
a1f0873143
initial version of write-bytecode
...
svn: r13973
2009-03-06 00:45:13 +00:00
Eli Barzilay
3931fb7e35
gzvector is gone, have gzbytes instead, (almost?) all input buffers are bytes
...
svn: r13972
2009-03-05 22:38:26 +00:00
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
