martinring/clide

Issues

• No Logout Button

  #2 opened 11 years ago by martinring
  0

• Autocompletion of /\ and \/

  #1 opened 11 years ago by martinring
  1

• Parser Bugs

  #6 opened 11 years ago by martinring
  0

• "failure: this session is already open"

  #3 opened 11 years ago by martinring
  0

• Auto Reconnect

  #11 opened 11 years ago by martinring
  0

• Search and Replace

  #12 opened 11 years ago by cxl
  0

• Project Creation does not refresh the page

  #8 opened 11 years ago by martinring
  0

• Theory creation does not work

  #9 opened 11 years ago by martinring
  1

• Update to CodeMirror 3.12

  #22 opened 11 years ago by martinring
  0

• Interface design

  #7 opened 11 years ago by martinring
  0

• Browser Compatibility Messages

  #10 opened 11 years ago by martinring
  0

• Vertical Scrolling and Line Numbers

  #13 opened 11 years ago by cxl
  0

• Autocompletion leaves the \

  #14 opened 11 years ago by cxl
  0

• Play 2.1.1 incompatibility

  #15 opened 11 years ago by martinring
  0

• Provide a RESTful API

  #21 opened 11 years ago by tillmo
  0

• Support No-User Usage

  #20 opened 11 years ago by martinring
  0

• Hyperlinks to Definitions

  #5 opened 11 years ago by martinring
  0

• Support File Folders

  #19 opened 11 years ago by martinring
  0

• Change File Management

  #18 opened 11 years ago by martinring
  0

• Better User Management

  #17 opened 11 years ago by martinring
  0

• Performance of Websocket Protocol

  #16 opened 11 years ago by martinring
  0

• Not all Isabelle components are installed on the server.

  #4 opened 11 years ago by martinring
  0