Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / calebegg/try-acl2 issues and pull requests

#17 - Tab completion

Issue - State: open - Opened by calebegg about 13 years ago

#16 - Experiment with 40-col wrap on small widths

Issue - State: open - Opened by calebegg about 13 years ago

#15 - All caps on iPhone.

Issue - State: open - Opened by calebegg about 13 years ago

#14 - Diagnose horizontal scrollbar on iPhone.

Issue - State: open - Opened by calebegg about 13 years ago

#13 - Doesn't work in Internet Explorer 9

Issue - State: open - Opened by alexeyr about 13 years ago

#11 - Floating point numbers hang/don't work.

Issue - State: open - Opened by jeremy-w about 13 years ago - 1 comment

#10 - RFE: Clickable lesson TOC

Issue - State: open - Opened by jeremy-w about 13 years ago

#9 - Forward/back arrows jump vertically

Issue - State: closed - Opened by jeremy-w about 13 years ago

#8 - Mention that clicking on typewriter text will copy it to REPL

Issue - State: closed - Opened by jeremy-w about 13 years ago

#7 - (factorial (list 1 2 3)) does not return 1

Issue - State: closed - Opened by jeremy-w about 13 years ago

#5 - zp: Initial desc does not match REPL behavior

Issue - State: closed - Opened by jeremy-w about 13 years ago

#4 - Scroll jumps around while typing

Issue - State: open - Opened by jeremy-w about 13 years ago

#3 - advance through tutorial when you type the right things.

Issue - State: open - Opened by calebegg about 13 years ago

#2 - properly indent code when you press <enter> mid-term

Issue - State: closed - Opened by calebegg about 13 years ago

#1 - set-prover-step-limit

Issue - State: open - Opened by calebegg about 13 years ago