← Back to branch summary

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

« back to all changes in this revision

Viewing changes to books/centaur/vl/package.lsp

  • 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/centaur/vl/package.lsp
36
36
(include-book "centaur/getopt/portcullis" :dir :system)
37
37
(include-book "centaur/nrev/portcullis" :dir :system)
38
38
(include-book "centaur/fty/portcullis" :dir :system)
 
39
(include-book "centaur/depgraph/portcullis" :dir :system)
39
40
 
40
41
(defmacro multi-union-eq (x y &rest rst)
41
42
  (xxxjoin 'union-eq (list* x y rst)))
83
84
      maybe-stringp
84
85
      maybe-posp
85
86
      maybe-integerp
 
87
      cons-listp
 
88
      cons-list-listp
86
89
      never-memoize
87
90
      char-fix
88
91
      chareqv
91
94
      streqv
92
95
      pos-fix
93
96
      acl2::print-base-p
 
97
      impossible
 
98
      tuplep
 
99
      all-equalp
94
100
 
95
101
      std::mksym
96
102
      std::mksym-package-symbol
133
139
      with-fast-alist
134
140
      with-fast
135
141
      with-stolen
 
142
      fal-all-boundp
136
143
 
137
144
      run-when
138
145
      run-if
143
150
      definline
144
151
      definlined
145
152
 
146
 
      seq
147
 
      seq-backtrack
148
 
      seqw
149
 
      seqw-backtrack
150
153
      cw-obj
151
154
      return-raw
152
155
 
228
231
      why
229
232
      with-redef
230
233
 
 
234
      template-proj
 
235
      template-append
 
236
      make-tmplsubst
 
237
      template-subst-top
 
238
      template-subst
 
239
      std::getargs
231
240
      ))
232
241
 
233
242
   ;; Things to remove: