Dla autorów

Strona dopiero powstaje, to są tylko notatki!

Formatowanie programów

W programach:

• pogrubiamy słowa kluczowe
• używamy dwóch spacji do wcięć
• używamy polskiego nazewnictwa na zmienne i procedury
• programy wcinamy o jedną spację, żeby pojawiały się w ramkach

Przykład programu:

process P1;
var i: integer;
begin
  while true do 
  begin
    własne_sprawy;
    protokół_wstępny;
    sekcja_krytyczna;
    protokół_końcowy;
  end
end;

Do ustalenia

1. Jak wpisywać słowa kluczowe
2. Co z polskimi cudzysłowami?
3. Jak formatować przykłady, definicje, twierdzenia itp?