HEAD | 33d452a | | 24 August 2015, 13:21:58 UTC |
refs/heads/demo | bbdb24a | Changed note | 11 May 2012, 16:42:37 UTC |
refs/heads/master | 33d452a | | 24 August 2015, 13:21:58 UTC |
refs/heads/wiki | 5fd52b3 | Migrating wiki contents from Google Code | 24 August 2015, 14:36:22 UTC |
refs/import/raw | 49a7d47 | | 24 August 2015, 13:21:58 UTC |
refs/tags/demo-v1.0 | 4308c36 | ... | 22 February 2012, 19:06:30 UTC |
refs/tags/demo-v1.1 | bef1924 | fixed broken dependency | 22 February 2012, 19:12:56 UTC |
refs/tags/demo-v1.2 | bc4d512 | Correcting tag | 20 April 2012, 15:26:55 UTC |
refs/tags/demo-v1.3 | 6d907e1 | Tagging latest release. | 04 May 2012, 04:08:39 UTC |
refs/tags/demo-v1.4 | 6f3cdd3 | Tagging latest demo release. | 04 May 2012, 14:50:03 UTC |
refs/tags/demo-v1.5 | 05b4c10 | | 11 May 2012, 16:25:30 UTC |
refs/tags/pre-demo-branch-merge | a4be250 | Tagging the psoa2tptp project before I merged the demo branch and removed the unnecessary projects. | 12 May 2012, 17:02:56 UTC |
refs/tags/pre-reorganize | 30692a5 | | 28 May 2012, 21:52:21 UTC |
refs/tags/psoa2tptp-1.6 | 20cc3aa | | 04 June 2012, 17:39:14 UTC |
refs/tags/psoa2tptp-v1.7 | c9517cb | Update README | 19 July 2012, 17:20:47 UTC |
refs/tags/psoa2tptp-v1.8 | e730902 | Rule implication and objectification implemented | 28 August 2012, 16:16:26 UTC |