☰

george_script.js

george_plus

2014-11-23 기준 버전입니다. 최신 버전을 확인하세요.

작성자
Akash Sant
평점
0 0 0
버전
1
생성일
2014-11-23
갱신일
2014-11-23
크기
5.41KB
라이선스
해당 없음
적용 사이트

Features:

  • Syntax Highlighting
  • Code Folding
  • In-Browser storage
  • Proof Auto-renumbering (type ")" on a new line)
  • Auto-complete
  • Code snippets (type "a{")

Developed by: Akash Sant, Ted Ying, Allen Wang