Jaskinie Podróże Nurki Grafika Mizar Teksty Kulinaria Lemkov Namiary Mapa RSS English

Spelunka Trybików Mizar Eddie Historia wersji YAC Software

Wróć Mizar Eddie Eddie::MSE a Mizar-MSE Historia wersji Artykuły Syntaktyka Mizara-MSE Historia wersji Krótka historia wersji: Wersja 0.34 - poprawki Wersja 0.33 Wersja 0.32 - poprawki Wersja 0.31 - poprawki Wersja 0.30 Wersja 0.23 - poprawki Wersja 0.22 Wersja 0.21 - Eddie::MSE Wersja 0.20 - Eddie::MSE Wersja 0.10 - Eddie::MIZ Prehistoria Szczegóły: Wersja 0.34 - poprawki Eddie::MSE Zmiana słowa zarezerwowanego "type" na "sort" - wszak MS w MSE oznacza Multi-Sorted. :-) Unifikacja kodów błędów między procesorem a plikami pomocy. Eddie::MIZ Podświetlanie syntaktyczne i pomoc zaktualizowana o nowe słowa zarezerwowane: "identify", "when", "with". Zmieniony link do pomocy syntaktycznej na strony Mizar Twiki. Góra Wersja 0.33 Dodatki: #29 - dodane podpowiedzi do numerów błędów zgłaszanych przez Mizara. #81 - dodana możliwość przerywania Mizara i detektorów. #93 - dodana pomoc kontekstowa do błędów zgłaszanych przez Mizara. #146 - przed mizarzeniem program sprawdza poprawność nazwy pliku (aby była zgodna z wymaganiami Mizara). #148 - (un)indent nie rusza etykiet teraz jest opcją w ustawieniach (vide #113). Poprawki: #149, #150 - drobne poprawki w obsłudze bloków. #2, #3, #40, #76, #123, #151 - różne poprawki w obsłudze wyszukiwania i zamiany. #14, #60, #86, #124, #126, #147 - inne drobne poprawki. Góra Wersja 0.32 - poprawki #113 - (un)indent nie rusza etykiet i opisów błędów znajdujących się w pierwszej kolumnie. #103..#108, #114..#116, #120, #122 - różne mniejsze poprawki edytora. Góra Wersja 0.31 - poprawki #96 - tryb nadpisywania przestał działać po przejściu na SynEdit 2.0.5. #97 - zaznaczanie tekstu źle działało po przejściu na SynEdit 2.0.5. #98..#102 - różne mniejsze sprawy związane ze współpracą edytora z mizarowaniem. Góra Wersja 0.30 Dodatki: #17 - okno dialogowe pozwalające wybrać, które detektory zostaną uruchomione (Eddie::MIZ). #22 - po uruchomieniu weryfikatora lub detektorów pokazywana jest liczba zgłoszonych uwag. #35 - możliwość zmiany kolejności okien w pasku okien. #38 - możliwość rejestracji rozszerzeń obsługiwanych przez program. #39 - obsługa przenoszenia myszą dokumentów do programu. #9, #47 - ulepszenia paska narzędziowego. #80 - wyświetlanie na prawym marginesie pozycji wszystkich uwag. #92 - pomoc kontekstowa do zgłaszanych uwag (Eddie::MSE). Poprawki: #5 - irrths i irrvoc czasami zgłaszały błędy w złych wierszach (Eddie::MIZ). #70 - sprytny "unindent" został wyłączony. #79 - AV przy zamykaniu plików. #82 - końcowe spacje są usuwane przy operacjach edycyjnych. #90 - wymuszana jest jedna instancja aplikacji. Góra Wersja 0.23 - poprawki #1 - wpisywanie nazwy pliku bez rozszerzenia powoduje błąd. #45 - przy otwieraniu pliku z linii komend, menu i przyciski pozostają wyszarzone. #72 - przy wyborze pierwszego tematu pomocy po Ctrl+F1 nic się nie dzieje (Eddie::MIZ). #73 - aktualizacja adresów stron z syntaktyką Mizara (Eddie::MIZ). #74 - aktualizacja listy słów zarezerwowanych (Eddie::MIZ). Góra Wersja 0.22 Do dystrybucji dodałem własny artykuł: "Boolean Properties of Sets" (SETS.mse). Dodatki: Obsługa infiksowego zapisu predykatów w Eddie::MSE. Pomoc kontekstowa zarówno w Eddie::MSE i Eddie::MIZ; naciśnięcie Ctrl+F1 na słowie zarezerwowanym przenosi do odpowiedniego tematu (pliku pomocy w Eddie::MSE i strony Mizara w Eddie::MIZ). Ulepszona pomoc w Eddie::MSE. Poprawki: #50 - usuwanie wszystkich uwag nie czyściło opisów błędów na końcu artykułu (Eddie::MIZ). #52 - sprawdzanie tekstu nie ustawiało flagi modyfikacji pliku (Eddie::MSE). #56 - słowa zarezerwowane pisane dużymi literami też były podświetlane (Eddie). #57 - przy uruchamianiu weryfikatora, ostatnia pusta linia artykułu była usuwana (Eddie::MSE). #61 - poprawa ANALYZERa - błąd wewnętrzny 999 gdy not contradiction było pod kwantyfikatorem (Eddie::MSE). #62 - poprawa ANALYZERa - błąd 48 nie był zgłaszany dla stałych lokalnych w rozumowaniach rozmytych. gdy między wprowadzeniem stałej a jej użyciem było inne rozumowanie rozmyte (Eddie::MSE). Góra Wersja 0.21 - Eddie::MSE Do dystrybucji został dodany artykuł Wojciecha Trybulca: "Axioms of Incidence" (WAT.mse). Oraz poprawki: #31 - pamiętanie pozycji kursora po uruchomieniu procesora. #41 - nie były zgłaszane błędy braku typu gdy nie zarejestrowany typ użyty był w instrukcji reserve...for. #42 - błędy CHECKERa zgłaszane były na końcu pliku zamiast na pozycji wystąpienia. #44 - zniesiony limit na długość identyfikatorów (16 znaków). Góra Wersja 0.20 - Eddie::MSE Drugi program obsługujący artykuły Mizara-MSE. Zawierający checker Mizara-MSE. Plik pomocy (na razie po angielsku) opisujący słowa i symbole zarezerwowane oraz poszczególne błędy. Rozszerzenia procesora o instrukcje "type" i "pred" pozwalające wprowadzać w środowisku odpowiednio: typy i predykaty. Odpowiednie filtry plików (*.mse). Góra Wersja 0.10 - Eddie::MIZ W pełni funkcjonalny edytor tekstowy (wielopoziomowe undo/redo, znajdź/zamień z wyrażeniami regularnymi, bloki kolumnowe, etc.). Mizarowe filtry plików (*.abs, *.miz). Podświetlanie syntaktyczne. Uruchamianie weryfikatora. Uruchamianie poszczególnych detektorów (niepotrzebne inferencje, niepotrzebne etykiety, etc.). Uruchamianie wszystkich detektorów. (Od)komentowanie bloków. Dwujęzyczny (polsko-angielski). Prawy margines ustawiony na 79 znaków. Góra Prehistoria Różne wersje edytorów dla Mizara-MSE i Mizara pisywałem już od roku circa about 1989. Wtedy powstała pierwsza wersja programu Eddie (do Mizara-MSE), napisana jeszcze w Turbo Pascalu 5 (+/- 1), przed jeszcze biblioteką Turbo Vision. Nie był to jeszcze program typu MDI, a wzorował się na interfejsie produktów firmy Borland. W ciągu kolejnych kilku lat powstawały nowe wersje programu (później nazywane PC-MSE), które były dystrybuowane przez firmę Schola i były też używane m.in. na Uniwersytecie w Białymstoku do nauczania matematyki. Był nawet program do ustawiania kolorów: :-) Po wprawkach z Mizarem-MSE, zacząłem pisać większy edytor, obsługujący naraz wiele plików (a la MDI), pisany wszak jeszcze bez pomocy biblioteki Turbo Vision. Program nazywał się Deep Thought (wytrawni czytelnicy zapewne zauważą, że obie nazwy - Eddie i Deep Thought - pochodzą z fenomenalnej *książki* "The Hitchhiker''s Guide to the Galaxy" :-) ), miał już podświetlanie syntaktyczne, edytor plików .voc i inne udogodnienia. Niestety, w czasie przeprowadzek, studiów, pracy, itp., źródła jak i inne ślady po programie zaginęły... W 1998 przepisałem program na Delphi i na długi czas zająłem się innymi sprawami. A na przełomie lat 2006/2007 wróciłem do projektu i tak oto powstały dwa wyżej wymienione programy. Góra