issues
search
calebegg
/
proof-pad-classic
An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add "report a bug" menu item.
#27
calebegg
closed
12 years ago
0
Make read only code easier to understand
#26
calebegg
closed
11 years ago
0
Folding
#25
calebegg
opened
12 years ago
0
Autosave
#24
calebegg
opened
12 years ago
0
Keyboard shortcut for 'trace'
#23
calebegg
closed
12 years ago
1
Automatically include current directory in include-book dialog
#22
calebegg
closed
11 years ago
0
Ability to add new directories to the include-book dialog box
#21
calebegg
opened
12 years ago
1
REPL-collapsing/expanding arrows are confusing/not useful
#20
calebegg
closed
12 years ago
0
Add `ld` to lexer
#19
calebegg
closed
11 years ago
0
Optionally show line numbers
#18
calebegg
closed
12 years ago
1
Clear scroll back command on REPL
#17
calebegg
closed
12 years ago
0
Parser: Functions in wrong order
#16
calebegg
closed
11 years ago
0
Parser: Underline defproperty if book hasn't been included
#15
calebegg
closed
11 years ago
0
Optionally add close parens automatically
#14
calebegg
closed
11 years ago
0
Parser: Check for redefinition
#13
calebegg
closed
12 years ago
0
Nested block comments don't nest
#12
PeterReid
opened
12 years ago
1
Windows ACL2 interrupt/shutdown, defrandom, minor fixes
#11
PeterReid
closed
12 years ago
4
Macros with multiple outputted top-level expressions
#10
calebegg
closed
12 years ago
1
Interrupt ACL2 (^C) on Windows
#9
calebegg
closed
12 years ago
2
Proof bar out of sync with prover
#8
PeterReid
closed
12 years ago
1
About window rearranged
#7
PeterReid
closed
12 years ago
0
Top-level expressions no longer drop line breaks.
#6
PeterReid
closed
12 years ago
0
Top-level expressions no longer drop line breaks.
#5
PeterReid
closed
12 years ago
5
Fixed some issues with placement of divisions on the proof bar
#4
PeterReid
closed
12 years ago
0
`() macro substitution lists
#3
calebegg
closed
12 years ago
0
Multi-line symbol lists
#2
calebegg
closed
12 years ago
0
Added support for for hexadecimal and symbol constants
#1
PeterReid
closed
12 years ago
0
Previous