pefribeiro/matisa

Issues

• \boldsymbol not implemented

  #4 opened 7 years ago by pefribeiro
  0

• Is it still possible to copy/paste Isabelle source code with Matisa?

  #3 opened 8 years ago by pefribeiro
  0

• Add support for BitBucket repositories

  #2 opened 8 years ago by pefribeiro
  0

• Port extension to Firefox

  #1 opened 8 years ago by pefribeiro
  1