| .. |
|
DMdA/lang
|
|
|
|
DMdA-advanced/lang
|
|
|
|
DMdA-assignments/lang
|
|
|
|
DMdA-beginner/lang
|
|
|
|
DMdA-vanilla/lang
|
|
|
|
quickcheck
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
scribblings
|
Lots of documentation formatting.
|
2011-08-15 07:50:04 -04:00 |
|
signature
|
Fix bug in vector signatures.
|
2011-05-01 11:18:10 +02:00 |
|
convert-explicit.rkt
|
Provide English and German versions of deinprogramm/signature/signature.
|
2010-10-08 11:19:38 +02:00 |
|
convert-explicit.scm
|
|
|
|
define-record-procedures.rkt
|
2nd attempt at generators for records/structs.
|
2010-10-11 13:34:16 +02:00 |
|
define-record-procedures.scm
|
renamed stepper-define-struct-hint to stepper-black-box-expr
|
2011-06-29 10:03:44 -07:00 |
|
deinprogramm-langs.rkt
|
restore deinprogramm reader module suffix
|
2011-07-16 20:15:15 -06:00 |
|
DMdA-advanced-reader.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
DMdA-advanced.rkt
|
deinprogramm: tweak files to make scribble happy
|
2011-05-28 09:02:53 -05:00 |
|
DMdA-assignments-reader.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
DMdA-assignments.rkt
|
deinprogramm: tweak files to make scribble happy
|
2011-05-28 09:02:53 -05:00 |
|
DMdA-beginner-reader.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
DMdA-beginner.rkt
|
Add cons' and cons?' as synonyms for make-pair' and pair?' to DMdA.
|
2010-10-08 15:25:44 +02:00 |
|
DMdA-deflam.rkt
|
deinprogramm: tweak files to make scribble happy
|
2011-05-28 09:02:53 -05:00 |
|
DMdA-reader.rkt
|
|
|
|
DMdA-vanilla-reader.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
DMdA-vanilla.rkt
|
make the deinprogramm documentation drdr messages be accurate
|
2011-05-04 18:54:28 -05:00 |
|
DMdA.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
image.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
info.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
line3d.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
line3d.scm
|
|
|
|
logo-small.png
|
|
|
|
run-dmda-code.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
syntax-checkers.rkt
|
|
|
|
test-suite.rkt
|
|
|
|
turtle.rkt
|
Rename DMdA/HtDP "contract" to "signature".
|
2010-06-28 14:58:16 +02:00 |
|
world.rkt
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
d61eb53686
