Data

Tools

Indexes

Applications

Experiments

Issues

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

GitHub / calebegg/proof-pad-classic issues and pull requests

#77 - Problem upon extraction of compressed file

Issue - State: open - Opened by frozenteradactyl about 6 years ago - 2 comments

#76 - installation glitch (wx86cI64.exe open for write)

Issue - State: open - Opened by rexpage about 8 years ago

#75 - Zoom out bug

Issue - State: open - Opened by yuxiang115 almost 9 years ago

#74 - ProofPad is damaged for OSX?

Issue - State: open - Opened by danlee0516 almost 9 years ago - 1 comment

#73 - proof pad is damaged and cant be opened on my mac

Issue - State: open - Opened by Brocknelson12 about 9 years ago

#72 - No downloads

Issue - State: closed - Opened by srsteele55 almost 11 years ago - 1 comment

#71 - Website DNS lookup failure

Issue - State: closed - Opened by Leafynoun almost 11 years ago - 1 comment

#70 - Redundant "Replace existing file" dialogs

Issue - State: open - Opened by grantbacon almost 12 years ago - 3 comments

#69 - save-as infelicity: goes to My Documents

Issue - State: open - Opened by rexpage almost 12 years ago

#68 - include-book, not compiled bug

Issue - State: open - Opened by rexpage almost 12 years ago

#67 - odd behavior with multiline comment at beginning of file

Issue - State: open - Opened by rexpage almost 12 years ago

#66 - Add setup for Debian installer creation (fixes #48)

Pull Request - State: closed - Opened by kyle921 over 12 years ago - 1 comment

#65 - request: column number option and window size option

Issue - State: open - Opened by rexpage over 12 years ago

#64 - Fix issue 51 and update readme.md

Pull Request - State: closed - Opened by kyle921 over 12 years ago - 2 comments

#63 - indentation anomaly

Issue - State: open - Opened by rexpage over 12 years ago - 1 comment

#62 - Error-underline for theorem with same name as fn

Issue - State: open - Opened by calebegg over 12 years ago
Labels: eval-sp13

#61 - Back-references in the REPL

Issue - State: open - Opened by calebegg over 12 years ago
Labels: eval-sp13

#60 - Error doesn't show up when hovering below

Issue - State: open - Opened by calebegg over 12 years ago
Labels: eval-sp13

#59 - Make error highlight more visible?

Issue - State: open - Opened by calebegg over 12 years ago
Labels: eval-sp13

#58 - Clean up error message for stack overflow

Issue - State: open - Opened by calebegg over 12 years ago
Labels: eval-sp13

#57 - (if (cons ...) ...) warning

Issue - State: open - Opened by calebegg over 12 years ago
Labels: eval-sp13

#56 - Special case error summaries for common functions?

Issue - State: closed - Opened by calebegg over 12 years ago

#54 - Session saving: fail gracefully on lab computers

Issue - State: open - Opened by calebegg over 12 years ago

#53 - Callout box for offscreen errors

Issue - State: closed - Opened by calebegg over 12 years ago

#51 - Installation Directory on Windows

Issue - State: open - Opened by jbozeman almost 13 years ago - 1 comment
Labels: bug, Windows

#50 - Saving/Compiling User Experience

Issue - State: closed - Opened by jbozeman almost 13 years ago

#48 - Native .deb installer

Issue - State: closed - Opened by calebegg almost 13 years ago
Labels: enhancement, Linux, HelpWanted

#47 - Backspace word (ctrl+bksp) aware of hyphen separated words.

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

#46 - Opening file from disk opens a blank window as well

Issue - State: closed - Opened by calebegg almost 13 years ago - 1 comment

#45 - "Look up" menu item: either update/disable it when invalid, or make it show a prompt

Issue - State: closed - Opened by calebegg almost 13 years ago - 1 comment

#44 - Cut down on extraneous error highlights in defrandom.lisp

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

#43 - Warning for invoking non-events in the definitions area

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

#42 - Automatically ^C when the user types something (:program mode auto-admission)

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

#41 - Automatically ^C after 5 s in :program mode auto-admission

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

#40 - Fixed autoindent on Windows

Pull Request - State: closed - Opened by PeterReid over 13 years ago

#39 - Open Recent menu improved

Pull Request - State: closed - Opened by PeterReid over 13 years ago - 1 comment

#38 - Save output pane contents

Issue - State: closed - Opened by calebegg over 13 years ago - 1 comment
Labels: enhancement

#37 - Event hoisting should add below proof line

Issue - State: closed - Opened by calebegg over 13 years ago - 1 comment

#36 - Update recent menu on save too

Issue - State: closed - Opened by calebegg over 13 years ago - 1 comment

#35 - Freeze when opening certain files

Issue - State: closed - Opened by PeterReid over 13 years ago - 2 comments

#34 - Progress bar for proofs

Issue - State: open - Opened by calebegg over 13 years ago - 1 comment

#33 - Defrandom optimized

Pull Request - State: closed - Opened by PeterReid over 13 years ago

#32 - 3 little fixes

Pull Request - State: closed - Opened by PeterReid over 13 years ago

#31 - Make the menus follow HIGs

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: Windows, Linux

#30 - Write some better tooltips for commonly used functions

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

#29 - Full screen mode (Lion)

Issue - State: open - Opened by calebegg over 13 years ago
Labels: OS X

#28 - Find submenu

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

#27 - Add "report a bug" menu item.

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

#26 - Make read only code easier to understand

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

#25 - Folding

Issue - State: open - Opened by calebegg over 13 years ago
Labels: enhancement, eval-sp12

#24 - Autosave

Issue - State: open - Opened by calebegg over 13 years ago
Labels: enhancement, eval-sp12

#23 - Keyboard shortcut for 'trace'

Issue - State: closed - Opened by calebegg over 13 years ago - 1 comment
Labels: enhancement, eval-sp12

#22 - Automatically include current directory in include-book dialog

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: eval-sp12

#21 - Ability to add new directories to the include-book dialog box

Issue - State: open - Opened by calebegg over 13 years ago - 1 comment

#20 - REPL-collapsing/expanding arrows are confusing/not useful

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: eval-sp12

#19 - Add `ld` to lexer

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: eval-sp12

#18 - Optionally show line numbers

Issue - State: closed - Opened by calebegg over 13 years ago - 1 comment
Labels: enhancement, eval-sp12

#17 - Clear scroll back command on REPL

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: enhancement, eval-sp12

#16 - Parser: Functions in wrong order

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: eval-sp12

#15 - Parser: Underline defproperty if book hasn't been included

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: eval-sp12

#14 - Optionally add close parens automatically

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: eval-sp12

#13 - Parser: Check for redefinition

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: eval-sp12

#12 - Nested block comments don't nest

Issue - State: open - Opened by PeterReid over 13 years ago - 1 comment

#11 - Windows ACL2 interrupt/shutdown, defrandom, minor fixes

Pull Request - State: closed - Opened by PeterReid over 13 years ago - 4 comments

#10 - Macros with multiple outputted top-level expressions

Issue - State: closed - Opened by calebegg over 13 years ago - 1 comment

#9 - Interrupt ACL2 (^C) on Windows

Issue - State: closed - Opened by calebegg over 13 years ago - 2 comments
Labels: enhancement

#8 - Proof bar out of sync with prover

Issue - State: closed - Opened by PeterReid over 13 years ago - 1 comment
Labels: bug

#7 - About window rearranged

Pull Request - State: closed - Opened by PeterReid over 13 years ago

#6 - Top-level expressions no longer drop line breaks.

Pull Request - State: closed - Opened by PeterReid over 13 years ago

#5 - Top-level expressions no longer drop line breaks.

Pull Request - State: closed - Opened by PeterReid over 13 years ago - 5 comments

#4 - Fixed some issues with placement of divisions on the proof bar

Pull Request - State: closed - Opened by PeterReid over 13 years ago

#3 - `() macro substitution lists

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: bug

#2 - Multi-line symbol lists

Issue - State: closed - Opened by calebegg over 13 years ago
Labels: bug

#1 - Added support for for hexadecimal and symbol constants

Pull Request - State: closed - Opened by PeterReid over 13 years ago