agomezl/simp-isar-mode agomezl/simp-isar-mode

  • This repository has been archived on 03/Apr/2022
  • Stars
    star
    1
  • Language
    Emacs Lisp
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
agomezl/simp-isar-mode
github

agomezl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A simple emacs mode for Isabelle (.thy) files

More Repositories

1

.conf

automatic configuration script
Shell
1
star
2

fluffy-chainsaw

Simple website for automated grading of CM0081 - Programming lab 1
Haskell
1
star