← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/oslib/ls.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/oslib/ls.lisp
1
1
; OSLIB -- Operating System Utilities
2
 
; Copyright (C) 2013 Centaur Technology
 
2
; Copyright (C) 2013-2014 Centaur Technology
3
3
;
4
4
; Contact:
5
5
;   Centaur Technology Formal Verification Group
30
30
;                   Sol Swords <sswords@centtech.com>
31
31
 
32
32
(in-package "OSLIB")
33
 
(include-book "logic-defs")
 
33
(include-book "ls-logic")
 
34
(include-book "dirname")
 
35
(include-book "file-types")
 
36
(include-book "centaur/quicklisp/osicat" :dir :system)
 
37
 
34
38
; (depends-on "ls-raw.lsp")
35
39
 
36
40
(defttag oslib)