Skip to content
GitLab
Explore
Sign in
Constantin Jucovschi
sider-stex-wizards
Repository
sider-stex-wizards
src
main
resources
templates
assertion.html
Find file
Blame
History
Permalink
Added axiom, example, symbol declaration and symbol type to the wizard
· 60ac747d
Alexandru Toader
authored
Jan 27, 2014
60ac747d