コミット履歴

作者 SHA1 メッセージ 日付
  Yentl Van Tendeloo af69ae1907 Add "name" attribute in SCD 7 年 前
  Yentl Van Tendeloo 3c13fe62ba Fix error in bottom formalism and add test for it 8 年 前
  Yentl Van Tendeloo e4828596d2 Add bottom formalism (the nice way) 8 年 前