markokoleznik/agda-writer

Issues

• Primitive.agda: openFile: does not exist (No such file or directory)

  #34 opened 7 years ago by nkaretnikov
  7

• Version v1.2.3 (binary) forgets path to the agda binary

  #35 opened 7 years ago by nkaretnikov
  1

• Error: Only one input allowed

  #33 opened 8 years ago by markokoleznik
  5

• enable autocompletion in dialog (global or goal specific)

  #31 opened 9 years ago by markokoleznik
  0

• Issue with multiple libraries...

  #32 opened 9 years ago by markokoleznik
  3

• Insert spaces when hitting 'tab' key

  #28 opened 9 years ago by scott-fleischman
  3

• Reload file when case splitting

  #29 opened 9 years ago by scott-fleischman
  1

• Package Agda with agda-writer

  #25 opened 9 years ago by andrejbauer
  14

• Make this cross-platform

  #26 opened 9 years ago by turion
  5

• Highlight goal when inside it.

  #24 opened 9 years ago by andrejbauer
  0

• How to close the "normalize" dialog?

  #17 opened 9 years ago by andrejbauer
  11

• Line numbers and error messages

  #19 opened 9 years ago by andrejbauer
  2

• Disable completions on all irrelevant text inputs.

  #23 opened 9 years ago by markokoleznik
  0

• Add included libraries when sending action

  #22 opened 9 years ago by markokoleznik
  6

• `startRow` in `selectedGoal` isn't correct

  #21 opened 9 years ago by markokoleznik
  0

• Disable smart input method

  #10 opened 9 years ago by andrejbauer
  9

• Parse \ as backslash

  #12 opened 9 years ago by andrejbauer
  2

• Undo redo

  #14 opened 9 years ago by andrejbauer
  1

• Where to look for the agda executable?

  #7 opened 9 years ago by andrejbauer
  1

• Auto-complete too eager

  #18 opened 9 years ago by andrejbauer
  5

• Unicode input in goals windows

  #20 opened 9 years ago by markokoleznik
  0

• Translate to Unicode after newline and tab, ignore ( and )

  #16 opened 9 years ago by andrejbauer
  0

• How to type Unicode

  #13 opened 9 years ago by andrejbauer
  3

• Pasting should not preserve style

  #15 opened 9 years ago by markokoleznik
  0

• Load deletes {| ... |}

  #11 opened 9 years ago by andrejbauer
  2

• Newlines in status reports

  #9 opened 9 years ago by andrejbauer
  0

• Crashing on this example.

  #8 opened 9 years ago by andrejbauer
  0

• Can't launch Agda it seems

  #5 opened 9 years ago by andrejbauer
  10

• Agda path in preferences

  #3 opened 9 years ago by andrejbauer
  2

• Agda Writer vs. Agda Wrapper

  #4 opened 9 years ago by andrejbauer
  1

• Missing `.pbxproj` file?

  #2 opened 10 years ago by andrejbauer
  2

• NSTableView doesn't get retained

  #1 opened 10 years ago by markokoleznik
  1