Skip to content

Activity

Showing most recent first

In stepper, respect the number-display format of the language.

Force push
mikesperberforce pushed to respect-number-format • 2c1e16a…a56ccc9 • 
on Jun 6

Blame the correct check-* form upon exceptions.

mikesperberpushed 1 commit to master • 3944db1…a4809bc • 
on May 23

Deleted branch

jbclementsdeleted release • 
on May 17

Unbreak test-engine tests in DrRacket

mikesperberpushed 1 commit to master • 6e14fa5…3944db1 • 
on May 16

Actually make this test unlikely to succeed.

samthpushed 1 commit to master • 2b256e6…6e14fa5 • 
on May 12

yikes, missed these stepper improvements from Shu-Hung You

jbclementspushed 1 commit to release • 9f5128d…1ba2e84 • 
on May 8

yikes, missed these stepper improvements from Shu-Hung You

jbclementspushed 1 commit to master • b300f12…2b256e6 • 
on May 8

Fix universe signature tick-handler signature, 3rd form

Pull request merge
mfelleisenpushed 1 commit to master • ff8a73f…b300f12 • 
on May 5

stepper history update

jbclementspushed 1 commit to master • 615b2eb…ff8a73f • 
on May 1

stepper history update

jbclementspushed 1 commit to release • 9bb5834…9f5128d • 
on May 1

history, pls cherry-pick

jbclementscreated release • 9bb5834 • 
on May 1

In stepper, respect the number-display format of the language.

Force push
mikesperberforce pushed to respect-number-format • 5edb833…2c1e16a • 
on Apr 29

Respect the number-display format of the underlying language.

mikesperbercreated respect-number-format • 5edb833 • 
on Apr 29

history, pls cherry-pick

mfelleisenpushed 1 commit to master • dc985b3…615b2eb • 
on Apr 21

Do not capture syntax errors in check-error

Pull request merge
mfelleisenpushed 1 commit to master • aa2ad71…dc985b3 • 
on Mar 13

Deleted branch

jbclementsdeleted release • 
on Mar 2

make the string snips generate code in a way that assumes less about …

rfindlerpushed 1 commit to master • fea1f2b…aa2ad71 • 
on Feb 23

adjust the text boxes inserted via DrRacket's Insert Text Box menu it…

rfindlerpushed 1 commit to master • 96ce626…fea1f2b • 
on Feb 23

Try harder to wait for the recording to complete.

samthpushed 1 commit to master • bfaf678…96ce626 • 
on Feb 17

Update htdp-langs.scrbl to specify teaching lang language directives

Pull request merge
mfelleisenpushed 1 commit to master • 225052d…bfaf678 • 
on Jan 24

stepper history for v8.16

jbclementspushed 1 commit to release • f8e2d4a…b05d449 • 
on Jan 21

stepper history for v8.16

jbclementspushed 1 commit to master • 54663eb…225052d • 
on Jan 21

Partly revert d53a197 & 36fc539 to workaround #233 (#238)

Pull request merge
shhyoupushed 1 commit to master • 70daff0…54663eb • 
on Jan 19

history, pls include with release

jbclementscreated release • f8e2d4a • 
on Jan 17

comment

mfelleisenpushed 2 commits to master • c529c9e…70daff0 • 
on Jan 13

Test the stepper with check-satisfied

Pull request merge
shhyoupushed 2 commits to master • e6b7936…c529c9e • 
on Dec 30, 2024

Test several check-satisfied error messages

shhyoupushed 2 commits to master • ef67552…e6b7936 • 
on Dec 28, 2024

Deleted branch

shhyoudeleted chksat-lambda-name • 
on Dec 27, 2024

Avoid leaking p? in check-satisfied to anonymous λ

shhyoupushed 1 commit to master • 495e6bd…ef67552 • 
on Dec 27, 2024

Avoid leaking p? in check-satisfied to anonymous λ

shhyoucreated chksat-lambda-name • ef67552 • 
on Dec 27, 2024