We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 618fdb6 commit 0b6ba4fCopy full SHA for 0b6ba4f
lisp-inference.asd
@@ -8,7 +8,7 @@
8
:description "An Inference Engine using Propositional Calculus"
9
:author "Manoel Vilela <[email protected]>"
10
:license "BSD"
11
- :version "0.1.0"
+ :version "0.2.0"
12
:serial t
13
:pathname "src"
14
:components ((:file "package")
@@ -25,7 +25,7 @@
25
:description "Lisp Inference Test Suit"
26
27
28
29
30
:pathname "t"
31
:depends-on (:lisp-inference :prove)
0 commit comments