FStarLang/fstar-layer

Issues

• Consistency with proof general?

  #1 opened 7 years ago by cpitclaudel
  5

• Dash package doesn't get installed

  #8 opened 6 years ago by psivesely
  0

• Not finding fstar layer

  #6 opened 6 years ago by psivesely
  2

• Install on Linux Mint not working

  #5 opened 6 years ago by Kazark
  3

• Jump handler

  #4 opened 6 years ago by cpitclaudel
  1

• Yank-indent is too enthusiastic about indenting pasted code

  #3 opened 6 years ago by cpitclaudel
  0

• Colors broken after startup

  #2 opened 7 years ago by kkohbrok
  1