| #
60c1b2ee |
|
24-Mar-2015 |
Michael Norrish <michael.norrish@nicta.com.au> |
Improve spacing by putting big session into figure
The HolQbf section includes a session that is really too large to be in
the normal flow of paragraphs.
|
| #
93e4e2b9 |
|
25-Feb-2015 |
Michael Norrish <michael.norrish@nicta.com.au> |
Fix a bunch of URLs referring to old github address
|
| #
f54a6205 |
|
18-Sep-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Replace hol.sf.net reference in Hol{Qbf,Smt} documentation with github.com.
We're no longer using sourceforge.net for either code submission or
issue tracking.
|
| #
775be11f |
|
29-Nov-2011 |
Ramana Kumar <ramana.kumar@gmail.com> |
Update HolQbf section of Description manual. Closes #48.
- give details of 2nd publication
- describe new interface (decide_prenex and decide, replacing decide)
- update sample interaction
- update description of supported subset of HOL
- remove first item from wishlist
|
| #
d99106ce |
|
13-Jun-2011 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Minor update, mentioning the ITP 2011 paper.
|
| #
bfdccc3e |
|
24-Feb-2011 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Updated to cover validity checking.
|
| #
1e80a48d |
|
11-Nov-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
HolQbfLib now supports Squolem2.
|
| #
b2900c82 |
|
07-Jul-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix minor \index error in HolQbf.tex
|
| #
6bac3cc5 |
|
06-Jun-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Added description of HolQbfLib.
|