Commits · master · Constantin Jucovschi / sider-stex-wizards

Jan 27, 2014
- Added axiom, example, symbol declaration and symbol type to the wizard · 60ac747d
  Alexandru Toader authored 11 years ago
  
  60ac747d
Jan 26, 2014
- Closing issue #2 . Dropped name and role fields for assertions because they... · b6e448bf
  Alexandru Toader authored 11 years ago
  
  Closing issue #2. Dropped name and role fields for assertions because they didn't comply with the specification.
  b6e448bf
Jan 24, 2014
- Fixed Configuration issue · 4c59cbd0
  Alexandru Toader authored 11 years ago
  
  4c59cbd0
Jan 20, 2014
- Fixing configuration issues · 6b9b1d89
  Alexandru Toader authored 11 years ago
  
  6b9b1d89
Jan 17, 2014
- updating deploy scripts · fcaeae57
  Constantin Jucovschi authored 11 years ago
  
  fcaeae57
- configuring · f272aa28
  Constantin Jucovschi authored 11 years ago
  
  f272aa28
- first assertion works to some extent · ddf96cb2
  Constantin Jucovschi authored 11 years ago
  
  ddf96cb2
- first commit · 0f89c099
  Constantin Jucovschi authored 11 years ago
  
  0f89c099