martinring/clide2

Issues

• ScalaJS

  #38 opened 9 years ago
  2

• NOT an issue: a question

  #37 opened 9 years ago
  5

• Saving Files

  #35 opened 10 years ago
  0

• Detach Output

  #34 opened 10 years ago
  0

• Annotations.compose is broken

  #33 opened 10 years ago
  0

• Make failedInFile work

  #32 opened 10 years ago
  0

• Chat messages without usernames

  #31 opened 10 years ago
  1

• WebSocket Delay

  #30 opened 10 years ago
  1

• Extend Formalization of Operational Transformation

  #29 opened 10 years ago
  0

• Public Projects

  #28 opened 10 years ago
  0

• Allow kicking of collaborators

  #27 opened 10 years ago
  0

• Support simple observation of text-range changes

  #26 opened 10 years ago
  0

• Subscribe/Unsubscribe to AnnotationStreams

  #25 opened 10 years ago
  0

• Cursor activity when typing

  #24 opened 10 years ago
  1

• Assistants should survive server restart

  #23 opened 10 years ago
  0

• Extend Isabelle formalizations to annotations

  #22 opened 10 years ago
  0

• Write UI Tests?

  #21 opened 10 years ago
  1

• Write tests for the actor infrastructure

  #20 opened 10 years ago
  0

• Drop-down selection for inviting collaborators

  #19 opened 11 years ago
  0

• Human-Computer Distinction

  #18 opened 10 years ago
  0

• Activity indicator

  #17 opened 11 years ago
  2

• Assistants receive their own chat messages again

  #16 opened 11 years ago
  1

• Broken login button

  #15 opened 11 years ago
  1

• Autocomplete requests and suggestions

  #14 opened 10 years ago
  1

• Additional css by assistants

  #13 opened 11 years ago
  0

• Search and replace

  #11 opened 11 years ago
  0

• Multiple active files per collaborator

  #10 opened 10 years ago
  0

• Allow file generation for assistants

  #9 opened 11 years ago
  0

• Allow assistants to listen to chat

  #8 opened 11 years ago
  0

• Create bundled start script for core and web-server

  #7 opened 11 years ago
  1

• publish clide-web to sonatype

  #6 opened 11 years ago
  1

• Chat is broken

  #5 opened 11 years ago
  2

• Entity annotations and hyperlinks

  #4 opened 11 years ago
  0

• Session Duplication

  #3 opened 10 years ago
  2

• Text color in the chat window

  #2 opened 11 years ago
  0