コミット履歴

作者 SHA1 メッセージ 日付
  Martin Thoma 7238041b58 added condition to signature; added shortcut \arrow and \implies; changed heading and header 13 年 前