From 6b4bf0bc6a117022fb58136d739afeb61ad8dae7 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Sun, 13 Nov 2016 22:18:42 -0500 Subject: academic/ladr: Fix slack-desc. --- academic/ladr/slack-desc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/academic/ladr/slack-desc b/academic/ladr/slack-desc index 761e77fbd8..43ff7ad13d 100644 --- a/academic/ladr/slack-desc +++ b/academic/ladr/slack-desc @@ -9,9 +9,9 @@ ladr: ladr (Mathematical Programs) ladr: ladr: LADR includes some mathematical programs like -ladr: - prover 9 (automated theorem prover for first-order and equational -ladr: logic) -ladr: - mace4 (search for finite models and counterexamples) +ladr: - prover 9 (automated theorem prover for first-order and equational +ladr: logic) +ladr: - mace4 (search for finite models and counterexamples) ladr: ladr: Homepage: http://www.cs.unm.edu/~mccune/prover9/ ladr: -- cgit v1.2.3