On this page:
1.1 Editor
1.2 Panel:   REPL
1.3 Version Control
1.3.1 commit message editor
1.3.2 Changed files
1.3.3 Push/  Pull
1.4 Project Management
1.4.1 Manager
1.4.2 Viewer
1.5 Special symbol(La  Te  X/  Agda like) support
8.3

1 User Guide: As DrRacket Plugin

In sauron, all cmd/ctrl would be called c, alt/option called o.

1.1 Editor

Editor can auto formatting your racket file.

1.2 Panel: REPL

REPL panel helps users quickly testing their ideas, it has a few key bindings can work on it:

1.3 Version Control

You can use c+k open version control panel, once open the panel, it has two part:

1.3.1 commit message editor

You can type commit message in this editor, use c+<enter> to commit all ready files.

1.3.2 Changed files

Changed files would show below of the commit editor, they were clickable. Clicked means ready to commit, else is not.

It has three buttons for quick modify as the following list.

1.3.3 Push/Pull

1.4 Project Management

1.4.1 Manager
1.4.2 Viewer

1.5 Special symbol(LaTeX/Agda like) support

Sauron also supports convert input \all to ∀. This is helpful for PLT/Math researchers. Full list can refer to latex-complete in meta.rkt.