3 コミット (a2dc7df0c6df9321629c6fa033634561dfd06ce0)

作成者 SHA1 メッセージ 日付
  Trevor Irons f1ad8f2f9e More cleaning up towards the port to c++-11. Documentation and consistency and better testing. 8年前
  Trevor Irons cdc19fe787 Cleaning up, more. 8年前
  T-bone 9ef7370e73 Deciding on design changes wrt. allowing stack allocation? 8年前
  T-bone 6dfc65b209 Moved LemmaCore into Modules, cleaned up build process and documentation. 8年前
  Trevor Irons 5f22a0c59a Work towards testing framework. CxxTest. 8年前
  Trevor Irons b2b0c802cc Testing CMake build, just getting going. 8年前