1 User Guide: As DrRacket Plugin🔗ℹ

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

• c+e run REPL

• c+m open project manager

• c+y show/hide project files viewer (Linux, MacOS only)

• c+s+y show/hide project files viewer (Windows only)

• c+k version control, open commit editor

• c+s+k commits push

• c+s+p commits pull

• c+r rename all bound

• c+b or <click> jump to definition(notice that only identifier is clickable could trigger this)

• c+s+b jump back to previous position

• c+d open documentation

• c+backspace delete whole line from current position

• o+backspace delete previous sexp

• c+x cut line if no selection, else cut selection

• c+; comment selected text or line if uncommented, uncomment if commented

• (/[/{/" when has selected text, wrap selected text automatically

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:

• <enter> evaluate and save expression into evaluated history(also reset selected status to no selection)

• <up> switch to previous expression in history

• <down> switch to next expression in history

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.

• select all

• unselect all

• clean up

1.3.3 Push/Pull🔗ℹ

• c+s+k commits push

• c+s+p commits pull

1.4 Project Management🔗ℹ

1.4.1 Manager🔗ℹ

• add project(existed)

• create project(new one)

• remove project

• open project

1.4.2 Viewer🔗ℹ

• interactive with files

• open file via double click

• add file/directory

• rename file/directory, a nice feature is those files imported it will get update

• remove file/directory

1.5 Special symbol(LaTeX/Agda like) support🔗ℹ

Sauron also supports converting input starting from \ when entering the space key after these char sequences, this should be helpful for PLT/Math researchers.

• \Pi converts to Π

• \times converts to ×

• \:: converts to ∷

• \all converts to ∀

• \neq converts to ≠

• \nex converts to ∄

• \top converts to ⊤

• \neg converts to ¬

• \Sigma converts to Σ

• \alpha converts to α

• \Gamma converts to Γ

• \nin converts to ∉

• \<=> converts to ⇔

• \--> converts to ⟶

• \0 converts to ∅

• \\ converts to \

• \U> converts to ⇑

• \: converts to ∶

• \Gd converts to Δ

• \Gv converts to Υ

• \Gy converts to Ψ

• \Gl converts to Λ

• \Go converts to Ω

• \D> converts to ⇓

• \qed converts to ∎

• \Gp converts to Π

• \Gw converts to Φ

• \Gg converts to Γ

• \equiv converts to ≡

• \Gs converts to Σ

• \== converts to ≡

• \<= converts to ⇐

• \<- converts to ←

• \>> converts to ≫

• \=> converts to ⇒

• \~= converts to ≌

• \|- converts to ⊢

• \beta converts to β

• \n|- converts to ⊬

• \bot converts to ⊥

• \to converts to →

• \u> converts to ↑

• \cap converts to ∩

• \forall converts to ∀

• \lam converts to λ

• \pi converts to π

• \-> converts to →

• \m> converts to ↦

• \cong converts to ≌

• \-| converts to ⊣

• \union converts to ∪

• \lambda converts to λ

• \land converts to ∧

• \in converts to ∈

• \<-> converts to ↔

• \intersect converts to ∩

• \zeta converts to ζ

• \ge converts to ε

• \gv converts to ν

• \gk converts to κ

• \gz converts to ζ

• \gm converts to μ

• \gl converts to λ

• \go converts to ω

• \ga converts to α

• \gp converts to π

• \gs converts to σ

• \gt converts to τ

• \gd converts to δ

• \ex converts to ∃

• \lor converts to ∨

• \gw converts to ϕ

• \gg converts to γ

• \gy converts to ψ

• \gi converts to ι

• \gx converts to χ

• \gh converts to η

• \d> converts to ↓

• \gn converts to ν

• \gr converts to ρ

• \gb converts to β

• \cup converts to ∪

• \div converts to ÷

• \!= converts to ≠