☰

george_script.js

george_plus

Author
Akash Sant
Daily installs
0
Total installs
21
Ratings
0 0 0
Version
1
Created
2014-11-23
Updated
2014-11-23
Size
5.41 KB
License
N/A
Applies to

Features:

  • Syntax Highlighting
  • Code Folding
  • In-Browser storage
  • Proof Auto-renumbering (type ")" on a new line)
  • Auto-complete
  • Code snippets (type "a{, d{, and s{ are the snippets")

Developed by: Akash Sant, Ted Ying, Allen Wang