Mercurial > repos > mikel-egana-aranguren > oppl

view OPPL/FaCT++-linux-v1.5.2/Models.lisp/query.default @ 9:14bfd77f8520

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Interface improved (Imports first) and proper handling of import/merge options added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Tue, 18 Oct 2011 10:30:16 +0200
parents 40adbcb2a7cc
children
line wrap: on
line source

[Query]

;--
;-- targets for single satisfiability (is Target sat) or subsumption (if Target [= Target2 holds) test
;--

; Target = *TOP*
; Target2 = *BOTTOM*

;***
;*** please do not change lines below
;***

;--
;-- target KB
;--