auto-proof.rst
Sat, 10 Feb 2018 01:30:24 +0200 Oleksandr Gavenko Removed indentation that compiled into <blockquote>.
Mon, 22 Feb 2016 13:52:03 +0200 Oleksandr Gavenko Remove HEADER.rst because that info now added to HTML template.
Mon, 22 Feb 2016 13:34:55 +0200 Oleksandr Gavenko Fix my RST article style by 'check-format-policy' target.
Wed, 20 Jul 2011 10:54:41 +0300 Oleksandr Gavenko Set fill-column as directory local var.
Sat, 04 Dec 2010 17:10:45 +0200 Oleksandr Gavenko Fix Emacs settings.
Sat, 18 Apr 2009 16:09:23 +0300 Oleksandr Gavenko About HOL Light.
Thu, 16 Apr 2009 21:41:18 +0300 Oleksandr Gavenko About acl2.
Thu, 16 Apr 2009 21:27:12 +0300 Oleksandr Gavenko Conference & competition.
Thu, 16 Apr 2009 21:24:25 +0300 Oleksandr Gavenko pvs correction.
Thu, 16 Apr 2009 21:18:40 +0300 Oleksandr Gavenko About TPTP.
Sun, 12 Apr 2009 22:26:28 +0300 Oleksandr Gavenko Explain proof assistant.
Sat, 28 Mar 2009 18:41:35 +0200 Oleksandr Gavenko auto proog system.
less more (0) tip