☰

george_script.js

george_plus

As of 2014-11-23. See the latest version.

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

George Plus Version 1.0.

Features:

  • Syntax Highlighting
  • Code Folding
  • In-Browser storage
  • Proof Auto-renumbering
  • Auto-complete