Jaskinie Podróże Nurki Grafika Mizar Teksty Kulinaria Lemkov Namiary Mapa RSS English
Spelunka Trybików Mizar Eddie YAC Software
  Wróć

Mizar

Eddie

Eddie::MSE a Mizar-MSE

Historia wersji

Artykuły

Syntaktyka Mizara-MSE

Eddie
Eddie to edytor artykułów mizarowych. Obecnie jest dostępny w dwóch wersjach: dla Mizara i dla Mizara-MSE. W tym drugim przypadku, program zawiera także checker - moduł sprawdzający poprawność dowodów.

Są to w pełni funkcjonalne edytory tekstowe (wielopoziomowe undo/redo, znajdź/zamień z wyrażeniami regularnymi, bloki kolumnowe, etc.) z następującymi udogodnieniami dla Mizarzystów:
  • pomoc kontekstowa (naciśnięcie Ctrl+F1 na słowie zarezerwowanym lub błędzie) przenosi do odpowiedniego tematu (pliku pomocy w Eddie::MSE i strony Mizara w Eddie::MIZ),
  • podpowiedzi kontekstowe (wskazanie myszą błędu wyświetla krótki opis błędu w pasku stanu),
  • wyświetlanie na prawym marginesie pozycji wszystkich uwag,
  • nawigacja między kolejnymi błędami (przejście do poprzedniego / następnego, itp.),
  • usuwanie wszystkich uwag,
  • przypisanie rozszerzeń do edytorów (*.abs, *.miz, *.voc, *.bib; także *.mse),
  • podświetlanie syntaktyczne,
  • uruchamianie weryfikatora,
  • uruchamianie poszczególnych detektorów (niepotrzebne inferencje, niepotrzebne etykiety, etc.),
  • uruchamianie wszystkich lub wybranych detektorów,
  • przerywanie pracy Mizara,
  • (un)indent nie rusza etykiet i opisów błędów znajdujących się w pierwszej kolumnie,
  • (od)komentowanie bloków,
  • prawy margines ustawiony na 79 znaków.
Pobierz programy Eddie::MIZ i/lub Eddie::MSE.



Góra