Eli Barzilay
56f53ebd7f
removed htdc reference
...
svn: r16092
2009-09-20 21:29:16 +00:00
Eli Barzilay
45a56841e5
Moved teachpack/htdc out to the graveyard
...
svn: r16091
2009-09-20 21:28:28 +00:00
Matthias Felleisen
73e9e77830
run-simulation -> animate
...
svn: r15995
2009-09-14 00:59:45 +00:00
Matthias Felleisen
bc404aaa54
re-directed image
...
svn: r15878
2009-09-04 08:38:40 +00:00
Matthias Felleisen
5d000d425e
re-directed image
...
svn: r15870
2009-09-03 22:54:41 +00:00
Matthias Felleisen
8c20ce344d
added state display to world programs
...
svn: r15837
2009-08-30 18:11:19 +00:00
Matthias Felleisen
6514185518
added last-picture option to stop-when
...
svn: r15739
2009-08-14 23:15:01 +00:00
Matthew Flatt
08166c165c
fix universe.ss doc formatting
...
svn: r15668
2009-08-04 11:31:30 +00:00
Matthew Flatt
345c17e85c
major Scribble revision (v4.2.1.2)
...
svn: r15569
2009-07-25 20:25:33 +00:00
Matthias Felleisen
7afdcc8558
docs for launch-many-worlds; prop
...
svn: r15502
2009-07-20 19:18:00 +00:00
Matthias Felleisen
bc394a4f1e
fixing more string/symbol bugs; please propagate
...
svn: r15466
2009-07-16 20:18:40 +00:00
Eli Barzilay
a70bf64fd9
Newlines at EOFs
...
svn: r15380
2009-07-04 02:28:31 +00:00
John Clements
e5ffcf1944
solid-or-filled -> solid-or-outline
...
svn: r15328
2009-06-29 18:15:37 +00:00
Matthias Felleisen
290d3008fb
svn: r15198
2009-06-17 20:12:13 +00:00
Matthias Felleisen
8ff0a07d21
changed world?/universe? to check-with
...
svn: r15197
2009-06-17 18:56:41 +00:00
Matthias Felleisen
a6e3bc1d41
added world? and universe? docs
...
svn: r15181
2009-06-15 21:47:32 +00:00
Eli Barzilay
4288c6c2c7
The Scribble reader was improved to make it pull out the syntax
...
punctuations outside of the form, as it does with quote punctuations.
So things like this
#, @foo{...}
that required the space to make the @foo read as a scribble form are
now better written as
@#,foo{...}
This changes all such occurrences. (In case you see this change in
your files and are worried that there might be changes: I mechanically
verified that the result of `read'ing the modified files is identical
to the previous version.)
svn: r15111
2009-06-07 10:12:32 +00:00
Matthias Felleisen
55ee0f126b
changed docs for universe
...
svn: r15094
2009-06-05 15:39:04 +00:00
Matthias Felleisen
5ed62e665b
typo fixed
...
svn: r14908
2009-05-21 20:40:46 +00:00
Matthias Felleisen
f7d8270a6c
strings instead of chars
...
svn: r14663
2009-04-29 21:16:34 +00:00
Matthias Felleisen
6cdf2ed976
strings for Universe callbacks
...
svn: r14645
2009-04-29 03:09:06 +00:00
Matthias Felleisen
fdb422e121
forgot to add this
...
svn: r14510
2009-04-14 14:33:58 +00:00
Matthias Felleisen
8476e13064
we need batch io for htdp/2e
...
svn: r14504
2009-04-14 03:00:41 +00:00
Mike Sperber
7d71c34ba9
Consolidate the DMdA docs into a single chapter.
...
svn: r14098
2009-03-14 13:42:57 +00:00
Matthias Felleisen
43d2625ace
added docs to make-bundle
...
svn: r14096
2009-03-14 12:34:12 +00:00
Mike Sperber
018521cbc3
Merge from mike/dmda branch.
...
This adds the language levels, teachpacks, and documentation for the
textbook "Die Macht der Abstraktion".
svn: r14019
2009-03-09 07:51:09 +00:00
Matthew Flatt
2c71266d96
add htdp/image, htdp/world defmodule to teachpack docs; minor Scribble extensions
...
svn: r13877
2009-02-27 22:56:00 +00:00
Matthias Felleisen
3112bab011
clarified stop conditions for big-bang
...
svn: r13867
2009-02-27 03:11:00 +00:00
Matthias Felleisen
056e06cf84
added separate naming facilty: docs
...
svn: r13771
2009-02-21 16:51:36 +00:00
Matthew Flatt
9927b0b576
changed htdp languages to allow identifier module paths; scribble improvements to latex back-end; added definterface
...
svn: r13681
2009-02-16 22:04:51 +00:00
Matthias Felleisen
80bad96d24
fixed scheme{}
...
svn: r13592
2009-02-15 01:41:18 +00:00
Matthias Felleisen
4f24983d29
renamed world to iworld, for internal
...
svn: r13588
2009-02-15 01:11:24 +00:00
Matthias Felleisen
00604ab789
svn: r13149
2009-01-15 13:43:18 +00:00
Matthias Felleisen
69b59c111a
svn: r13148
2009-01-15 13:40:50 +00:00
Matthias Felleisen
fe36315ca5
a few typos in universe.scrbl fixed
...
svn: r13138
2009-01-15 02:59:47 +00:00
Matthias Felleisen
01b980f97e
doc typos
...
svn: r13132
2009-01-14 23:31:20 +00:00
Eli Barzilay
0a51fa26e6
set svn:eol-style
...
svn: r13103
2009-01-14 03:01:36 +00:00
Matthias Felleisen
bdd29b22cf
svn: r13078
2009-01-12 22:14:15 +00:00
Matthias Felleisen
d871eeb91d
svn: r13077
2009-01-12 22:13:58 +00:00
Matthias Felleisen
0b4a67fc21
svn: r13076
2009-01-12 22:10:39 +00:00
Matthias Felleisen
687eecd43c
svn: r13073
2009-01-12 20:28:12 +00:00
Matthias Felleisen
c22b570004
svn: r13071
2009-01-12 17:30:44 +00:00
Matthias Felleisen
a6f08c7399
svn: r13056
2009-01-09 23:45:05 +00:00
Matthias Felleisen
c58702123f
message order
...
svn: r13042
2009-01-08 23:37:55 +00:00
Matthias Felleisen
2821275df7
simplified world terminology
...
svn: r13041
2009-01-08 23:04:27 +00:00
Matthew Flatt
851c58ea50
add #:contracts optional sub-form to defform
...
svn: r13012
2009-01-05 14:00:07 +00:00
Matthew Flatt
08201a309d
teachpack 2htdp docs: fix multiple definitions
...
svn: r13011
2009-01-05 12:21:09 +00:00
Matthew Flatt
c2857c1b7c
use define-unsafer for ffi/objc; fix more teachpack doc latex-output problems
...
svn: r13008
2009-01-05 10:20:17 +00:00
Matthew Flatt
dc4aac224d
2htdp docs: no 'blockquote style
...
svn: r13007
2009-01-05 10:13:18 +00:00
Eli Barzilay
e371bd8f4a
completed Matthias's aborted commit
...
svn: r12999
2009-01-04 13:59:00 +00:00
