george_script.js

george_plus

Author
Akash Sant
Daily installs
0
Total installs
17
Ratings
0 0 0
Version
1
Created
Updated
License
N/A
Applies to

Author's Description

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