ruby_learner 1.0.0

data/workshop/emacs.d/elpa/auto-complete-20170124.1845/dict/clojurescript-mode

@@ -0,0 +1,475 @@
+*agent*
+*clojure-version*
+*command-line-args*
+*compile-files*
+*compile-path*
+*err*
+*file*
+*flush-on-newline*
+*in*
+*ns*
+*out*
+*print-dup*
+*print-length*
+*print-level*
+*print-meta*
+*print-readably*
+*read-eval*
+*warn-on-reflection*
+accessor
+aclone
+add-classpath
+add-watch
+agent
+agent-error
+agent-errors
+aget
+alength
+alias
+all-ns
+alter
+alter-meta!
+alter-var-root
+amap
+ancestors
+and
+apply
+areduce
+array-map
+aset
+aset-boolean
+aset-byte
+aset-char
+aset-double
+aset-float
+aset-int
+aset-long
+aset-short
+assert
+assoc
+assoc!
+assoc-in
+associative?
+atom
+await
+await-for
+bases
+bean
+bigdec
+bigint
+binding
+bit-and
+bit-and-not
+bit-clear
+bit-flip
+bit-not
+bit-or
+bit-set
+bit-shift-left
+bit-shift-right
+bit-test
+bit-xor
+boolean
+boolean-array
+booleans
+bound-fn
+bound-fn*
+butlast
+byte
+byte-array
+bytes
+case
+cast
+char
+char-array
+char-escape-string
+char-name-string
+char?
+chars
+class
+class?
+clear-agent-errors
+clojure-version
+coll?
+comment
+commute
+comp
+comparator
+compare
+compare-and-set!
+compile
+complement
+concat
+cond
+condp
+conj
+conj!
+cons
+constantly
+construct-proxy
+contains?
+count
+counted?
+create-ns
+create-struct
+cycle
+dec
+decimal?
+declare
+definline
+defmacro
+defmethod
+defmulti
+defn
+defn-
+defonce
+defprotocol
+defstruct
+deftype
+delay
+delay?
+deliver
+deref
+derive
+descendants
+disj
+disj!
+dissoc
+dissoc!
+distinct
+distinct?
+doall
+doc
+dorun
+doseq
+dosync
+dotimes
+doto
+double
+double-array
+doubles
+drop
+drop-last
+drop-while
+dtype
+empty
+empty?
+ensure
+enumeration-seq
+error-handler
+error-mode
+eval
+even?
+every?
+extend
+extend-class
+extend-protocol
+extend-type
+extenders
+extends?
+false?
+ffirst
+file-seq
+filter
+find
+find-doc
+find-ns
+find-var
+first
+float
+float-array
+float?
+floats
+flush
+fn
+fn?
+fnext
+for
+force
+format
+future
+future-call
+future-cancel
+future-cancelled?
+future-done?
+future?
+gen-class
+gen-interface
+gensym
+get
+get-in
+get-method
+get-proxy-class
+get-thread-bindings
+get-validator
+hash
+hash-map
+hash-set
+identical?
+identity
+if-let
+if-not
+ifn?
+import
+in-ns
+inc
+init-proxy
+instance?
+int
+int-array
+integer?
+interleave
+intern
+interpose
+into
+into-array
+ints
+io!
+isa?
+iterate
+iterator-seq
+juxt
+key
+keys
+keyword
+keyword?
+last
+lazy-cat
+lazy-seq
+let
+letfn
+line-seq
+list
+list*
+list?
+load
+load-file
+load-reader
+load-string
+loaded-libs
+locking
+long
+long-array
+longs
+loop
+macroexpand
+macroexpand-1
+make-array
+make-hierarchy
+map
+map?
+mapcat
+max
+max-key
+memfn
+memoize
+merge
+merge-with
+meta
+methods
+min
+min-key
+mod
+name
+namespace
+neg?
+newline
+next
+nfirst
+nil?
+nnext
+not
+not-any?
+not-empty
+not-every?
+not=
+ns
+ns-aliases
+ns-imports
+ns-interns
+ns-map
+ns-name
+ns-publics
+ns-refers
+ns-resolve
+ns-unalias
+ns-unmap
+nth
+nthnext
+num
+number?
+object-array
+odd?
+or
+parents
+partial
+partition
+pcalls
+peek
+persistent!
+pmap
+pop
+pop!
+pop-thread-bindings
+pos?
+pr
+pr-str
+prefer-method
+prefers
+print
+print-namespace-doc
+print-str
+printf
+println
+println-str
+prn
+prn-str
+promise
+proxy
+proxy-mappings
+proxy-super
+push-thread-bindings
+pvalues
+quot
+rand
+rand-int
+range
+ratio?
+rationalize
+re-find
+re-groups
+re-matcher
+re-matches
+re-pattern
+re-seq
+read
+read-line
+read-string
+reduce
+ref
+ref-history-count
+ref-max-history
+ref-min-history
+ref-set
+refer
+refer-clojure
+reify
+release-pending-sends
+rem
+remove
+remove-method
+remove-ns
+remove-watch
+repeat
+repeatedly
+replace
+replicate
+require
+reset!
+reset-meta!
+resolve
+rest
+restart-agent
+resultset-seq
+reverse
+reversible?
+rseq
+rsubseq
+satisfies?
+second
+select-keys
+send
+send-off
+seq
+seq?
+seque
+sequence
+sequential?
+set
+set-error-handler!
+set-error-mode!
+set-validator!
+set?
+short
+short-array
+shorts
+shutdown-agents
+slurp
+some
+sort
+sort-by
+sorted-map
+sorted-map-by
+sorted-set
+sorted-set-by
+sorted?
+special-form-anchor
+special-symbol?
+split-at
+split-with
+str
+stream?
+string?
+struct
+struct-map
+subs
+subseq
+subvec
+supers
+swap!
+symbol
+symbol?
+sync
+syntax-symbol-anchor
+take
+take-last
+take-nth
+take-while
+test
+the-ns
+time
+to-array
+to-array-2d
+trampoline
+transient
+tree-seq
+true?
+type
+unchecked-add
+unchecked-dec
+unchecked-divide
+unchecked-inc
+unchecked-multiply
+unchecked-negate
+unchecked-remainder
+unchecked-subtract
+underive
+update-in
+update-proxy
+use
+val
+vals
+var-get
+var-set
+var?
+vary-meta
+vec
+vector
+vector-of
+vector?
+when
+when-first
+when-let
+when-not
+while
+with-bindings
+with-bindings*
+with-in-str
+with-local-vars
+with-meta
+with-open
+with-out-str
+with-precision
+xml-seq
+zero?
+zipmap

data/workshop/emacs.d/elpa/auto-complete-20170124.1845/dict/coq-mode

@@ -0,0 +1,278 @@
+# Generated by the following form.
+# (loop for regexp in (append
+#                      coq-solve-tactics
+#                      coq-keywords
+#                      coq-reserved
+#                      coq-tactics
+#                      coq-tacticals
+#                      (list "Set" "Type" "Prop"))
+#       append (split-string regexp (regexp-quote "\\s-+")) into words
+#       finally (loop initially (goto-char (point-max))
+#                     for word in (delete-dups (sort words 'string<))
+#                     do (insert word) (newline)))
+
+Abort
+About
+Abstract
+Add
+Admit
+Admitted
+All
+Arguments
+AutoInline
+Axiom
+Bind
+Canonical
+Cd
+Chapter
+Check
+Close
+CoFixpoint
+CoInductive
+Coercion
+Coercions
+Comments
+Conjecture
+Constant
+Constructors
+Corollary
+Declare
+Defined
+Definition
+Delimit
+Dependent
+Depth
+Derive
+End
+Eval
+Export
+Extern
+Extract
+Extraction
+Fact
+False
+Field
+File
+Fixpoint
+Focus
+Function
+Functional
+Goal
+Hint
+Hypotheses
+Hypothesis
+Hyps
+Identity
+If
+Immediate
+Implicit
+Import
+Inductive
+Infix
+Inline
+Inlined
+Inspect
+Inversion
+Language
+Lemma
+Let
+Library
+Limit
+LoadPath
+Local
+Locate
+Ltac
+ML
+Module
+Morphism
+Next Obligation
+NoInline
+Notation
+Notations
+Obligation
+Obligations
+Off
+On
+Opaque
+Open
+Optimize
+Parameter
+Parameters
+Path
+Print
+Printing
+Program
+Proof
+Prop
+Pwd
+Qed
+Rec
+Record
+Recursive
+Remark
+Remove
+Require
+Reserved
+Reset
+Resolve
+Rewrite
+Ring
+Save
+Scheme
+Scope
+Search
+SearchAbout
+SearchPattern
+SearchRewrite
+Section
+Semi
+Set
+Setoid
+Show
+Solve
+Sort
+Strict
+Structure
+Synth
+Tactic
+Test
+Theorem
+Time
+Transparent
+True
+Type
+Undo
+Unfocus
+Unfold
+Unset
+Variable
+Variables
+Width
+Wildcard
+abstract
+absurd
+after
+apply
+as
+assert
+assumption
+at
+auto
+autorewrite
+beta
+by
+case
+cbv
+change
+clear
+clearbody
+cofix
+coinduction
+compare
+compute
+congruence
+constructor
+contradiction
+cut
+cutrewrite
+decide
+decompose
+delta
+dependent
+dest
+destruct
+discrR
+discriminate
+do
+double
+eapply
+eauto
+econstructor
+eexists
+eleft
+elim
+else
+end
+equality
+esplit
+exact
+exists
+fail
+field
+first
+firstorder
+fix
+fold
+forall
+fourier
+fun
+functional
+generalize
+hnf
+idtac
+if
+in
+induction
+info
+injection
+instantiate
+into
+intro
+intros
+intuition
+inversion
+inversion_clear
+iota
+lapply
+lazy
+left
+let
+linear
+load
+match
+move
+omega
+pattern
+pose
+progress
+prolog
+quote
+record
+red
+refine
+reflexivity
+rename
+repeat
+replace
+return
+rewrite
+right
+ring
+set
+setoid
+setoid_replace
+setoid_rewrite
+simpl
+simple
+simplify_eq
+solve
+specialize
+split
+split_Rabs
+split_Rmult
+stepl
+stepr
+struct
+subst
+sum
+symmetry
+tauto
+then
+transitivity
+trivial
+try
+unfold
+until
+using
+with
+zeta