1. Shlomi Fish
  2. shlomif-email-signature

Commits

(no ...@adde3d42-e9b9-0310-bad2-9dfefc8ea29a  committed 0e25705

Broken a long line.

  • Participants
  • Parent commits bf871cf
  • Branches default

Comments (0)

Files changed (1)

File shlomif-sigs

View file
  • Ignore whitespace
 correctness of a program that proves the correctness of proofs of other
 programs.
 %
-My Commodore 64 is suffering from slowness and insufficiency of memory; and its display device is grievously short of pixels.  Can anyone help?	-- Omer Zak
+My Commodore 64 is suffering from slowness and insufficiency of memory; and its
+display device is grievously short of pixels.  Can anyone help?	-- Omer Zak
 %
 I hope that you agree with me that 99.9218485921% of the users wouldn't bother
 themselves with recompilation (or any other manual step for that matter) to