ruby_learner 1.1.2 → 1.1.3

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

@@ -1,278 +0,0 @@
-# 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

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

@@ -1,874 +0,0 @@
-!important
-@font-face
-@font-feature-values
-@keyframes
-ActiveBorder
-ActiveCaption
-Alpha
-AppWorkspace
-Background
-Barn
-BasicImage
-Blinds
-Blur
-ButtonFace
-ButtonHighlight
-ButtonShadow
-ButtonText
-CaptionText
-CheckerBoard
-Chroma
-Compositor
-CradientWipe
-DXImageTransform
-DropShadow
-Emboss
-Engrave
-Fade
-FlipH
-FlipV
-Glow
-Gray
-GrayText
-Highlight
-HighlightText
-Hz
-ICMFilter
-InactiveBorder
-InactiveCaption
-InactiveCaptionText
-InfoBackground
-InfoText
-Inset
-Invert
-Iris
-Light
-MaskFilter
-Matrix
-Menu
-MenuText
-Microsoft
-MotionBlur
-Pixelate
-RadialWipe
-RandomBars
-RandomDissolve
-RevealTrans
-Scrollbar
-Shadow
-Slide
-Spiral
-Stretch
-Strips
-ThreeDDarkShadow
-ThreeDFace
-ThreeDHighlight
-ThreeDLightShadow
-ThreeDShadow
-Wave
-Wheel
-Window
-WindowFrame
-WindowText
-Xray
-Zigzag
-_azimuth
-_background
-_background-position-x
-_background-position-y
-_border
-_bottom
-_caption
-_clear
-_clip
-_color
-_content
-_counter
-_cue
-_cursor
-_direction
-_display
-_elevation
-_empty
-_filter
-_filter:progid:DXImageTransform.Microsoft
-_float
-_font
-_height
-_ime
-_ime-mode
-_layout
-_layout-flow
-_layout-grid
-_layout-grid-char
-_layout-grid-line
-_layout-grid-mode
-_layout-grid-type
-_left
-_letter
-_line
-_line-break
-_list
-_margin
-_orphans
-_outline
-_overflow
-_overflow-x
-_overflow-y
-_padding
-_page
-_pause
-_pitch
-_play
-_position
-_quotes
-_richness
-_right
-_ruby
-_ruby-align
-_ruby-overhang
-_ruby-position
-_scrollbar
-_scrollbar-3dlight-color
-_scrollbar-arrow-color
-_scrollbar-base-color
-_scrollbar-darkshadow-color
-_scrollbar-face-color
-_scrollbar-highlight-color
-_scrollbar-track-color
-_speak
-_speech
-_stress
-_table
-_text
-_text-align-last
-_text-autospace
-_text-justify
-_text-kashida-space
-_text-overflow
-_text-underline-position
-_top
-_unicode
-_vertical
-_visibility
-_voice
-_volume
-_white
-_widows
-_width
-_word
-_word-break
-_word-wrap
-_writing
-_writing-mode
-_z
-_zoom
-above
-active
-adjust
-after
-aliceblue
-align
-align-content
-align-items
-align-self
-always
-animation
-animation-delay
-animation-direction
-animation-duration
-animation-fill-mode
-animation-iteration-count
-animation-name
-animation-play-state
-animation-timing-function
-antiquewhite
-aqua
-aquamarine
-armenian
-arrow
-attachment
-auto
-autospace
-avoid
-azimuth
-azure
-backface-visibility
-background
-background-attachment
-background-clip
-background-color
-background-image
-background-origin
-background-position
-background-repeat
-background-size
-bar
-base
-baseline
-before
-behind
-beige
-below
-bidi
-bidi-override
-bisque
-black
-blanchedalmond
-blink
-block
-blue
-blueviolet
-bold
-bolder
-border
-border-bottom
-border-bottom-color
-border-bottom-left-radius
-border-bottom-right-radius
-border-bottom-style
-border-bottom-width
-border-collapse
-border-color
-border-image
-border-image-outset
-border-image-repeat
-border-image-slice
-border-image-source
-border-image-width
-border-left
-border-left-color
-border-left-style
-border-left-width
-border-radius
-border-right
-border-right-color
-border-right-style
-border-right-width
-border-spacing
-border-style
-border-top
-border-top-color
-border-top-left-radius
-border-top-right-radius
-border-top-style
-border-top-width
-border-width
-both
-bottom
-box
-box-decoration-break
-box-shadow
-box-sizing
-break
-break-after
-break-before
-break-inside
-brown
-burlwood
-cadetblue
-capitalize
-caps
-caption
-caption-side
-cell
-cells
-center
-center-left
-center-right
-char
-chartreuse
-chocolate
-circle
-cjk
-cjk-ideographic
-clear
-clip
-close
-close-quote
-cm
-code
-collapse
-color
-column
-column-count
-column-fill
-column-gap
-column-rule
-column-rule-color
-column-rule-style
-column-rule-width
-column-span
-column-width
-columns
-compact
-condensed
-content
-continuous
-coral
-cornflowerblue
-cornsilk
-counter
-counter-increment
-counter-reset
-crimson
-crop
-cross
-crosshair
-cue
-cue-after
-cue-before
-cursive
-cursor
-cyan
-darkblue
-darkcyan
-darkgoldenrod
-darkgray
-darkgreen
-darkkhaki
-darkmagenta
-darkolivegreen
-darkorange
-darkorchid
-darkred
-darksalmon
-darkseagreen
-darkshadow
-darkslateblue
-darkslategray
-darkturquoise
-darkviolet
-dashed
-decimal
-decimal-leading-zero
-decoration
-deeppink
-deepskyblue
-default
-deg
-digits
-dimgray
-direction
-disc
-display
-dodgerblue
-dotted
-double
-during
-e
-e-resize
-elevation
-em
-embed
-empty
-empty-cells
-ex
-expanded
-extra
-extra-condensed
-extra-expanded
-face
-family
-fantasy
-far
-far-left
-far-right
-fast
-faster
-filter
-firebrick
-first
-first-child
-first-letter
-first-line
-fixed
-flex
-flex-basis
-flex-direction
-flex-flow
-flex-grow
-flex-shrink
-flex-wrap
-float
-floralwhite
-flow
-focus
-font
-font-family
-font-feature-setting
-font-kerning
-font-language-override
-font-size
-font-size-adjust
-font-stretch
-font-style
-font-synthesis
-font-variant
-font-variant-alternates
-font-variant-caps
-font-variant-east-asian
-font-variant-ligatures
-font-variant-numeric
-font-variant-position
-font-weight
-footer
-forestgreen
-fuchsia
-gainsboro
-georgian
-ghostwhite
-gold
-goldenrod
-gray
-greek
-green
-greenyellow
-grid
-groove
-group
-hanging-punctuation
-header
-hebrew
-height
-help
-hidden
-hide
-high
-higher
-hiragana
-hiragana-iroha
-honeydew
-hotpink
-hover
-hyphens
-icon
-ideographic
-image
-image-orientation
-image-rendering
-image-resolution
-ime-mode
-in
-increment
-indent
-index
-indianred
-indigo
-inherit
-inline
-inline-block
-inline-table
-inset
-inside
-iroha
-italic
-item
-ivory
-justify
-justify-content
-kHz
-kashida
-katakana
-katakana-iroha
-khaki
-landscape
-lang()
-large
-larger
-last
-latin
-lavender
-lavenderblush
-lawngreen
-layout
-leading
-left
-left-side
-leftwards
-lenonchiffon
-letter
-letter-spacing
-level
-lightblue
-lightcoral
-lightcyan
-lighter
-lightgoldenrodyellow
-lightgray
-lightgreen
-lightgrey
-lightpink
-lightsalmon
-lightseagreen
-lightskyblue
-lightslategray
-lightsteelblue
-lightyellow
-lime
-limegreen
-line
-line-break
-line-height
-line-through
-linen
-link
-list
-list-item
-list-style
-list-style-image
-list-style-position
-list-style-type
-loud
-low
-lower
-lower-alpha
-lower-greek
-lower-latin
-lower-roman
-lowercase
-ltr
-magenta
-margin
-margin-bottom
-margin-left
-margin-right
-margin-top
-mark
-mark-after
-mark-before
-marker
-marker-offset
-marks
-maroon
-marquee-direction
-marquee-play-count
-marquee-speed
-marquee-style
-mask
-mask-type
-max
-max-height
-max-width
-medium
-mediumaquamarine
-mediumblue
-mediumorchid
-mediumpurple
-mediumseagreen
-mediumslateblue
-mediumspringgreen
-mediumturquoise
-mediumvioletred
-menu
-message
-message-box
-middle
-midnightblue
-min
-min-height
-min-width
-mintcream
-mistyrose
-mix
-mm
-moccasin
-mode
-monospace
-move
-ms
-n
-n-resize
-naby
-narrower
-nav-down
-nav-index
-nav-left
-nav-right
-nav-up
-navajowhite
-ne
-ne-resize
-no
-no-close-quote
-no-open-quote
-no-repeat
-none
-normal
-nowrap
-number
-numeral
-nw
-nw-resize
-object-fit
-object-position
-oblique
-offset
-oldlace
-olive
-olivedrab
-once
-opacity
-open
-open-quote
-orange
-orangered
-orchid
-order
-orphans
-out
-outline
-outline-color
-outline-offset
-outline-style
-outline-width
-outset
-outside
-overflow
-overflow-wrap
-overflow-x
-overflow-y
-overhang
-overline
-override
-padding
-padding-bottom
-padding-left
-padding-right
-padding-top
-page
-page-break-after
-page-break-before
-page-break-inside
-palegoldenrod
-palegreen
-paleturquoise
-palevioletred
-papayawhip
-pause
-pause-after
-pause-before
-pc
-peachpuff
-perspective
-perspective-origin
-peru
-phonemes
-pink
-pitch
-pitch-range
-play
-play-during
-plum
-pointer
-portrait
-position
-powderblue
-pre
-pre-line
-pre-wrap
-progid
-progress
-pt
-punctuation
-purple
-px
-quote
-quotes
-rad
-range
-rate
-red
-relative
-repeat
-repeat-x
-repeat-y
-reset
-resize
-rest
-rest-after
-rest-before
-richness
-ridge
-right
-right-side
-rightwards
-roman
-rosybrown
-row
-royalblue
-rtl
-run
-run-in
-s
-s-resize
-saddlebrown
-salmon
-sandybrown
-sans-serif
-scroll
-se
-se-resize
-seagreen
-seashell
-semi
-semi-condensed
-semi-expanded
-separate
-serif
-shadow
-show
-side
-sienna
-silent
-silever
-silver
-size
-skyblue
-slateblue
-slategray
-slow
-slower
-small
-small-caps
-small-caption
-smaller
-snow
-soft
-solid
-space
-spacing
-speak
-speak-header
-speak-numeral
-speak-punctuation
-specific
-specific-voice
-speech
-speech-rate
-spell
-spell-out
-springgreen
-square
-static
-status
-status-bar
-steelblue
-stress
-stretch
-style
-sub
-super
-sw
-sw-resize
-tab-size
-table
-table-caption
-table-cell
-table-column
-table-column-group
-table-footer-group
-table-header-group
-table-layout
-table-row
-table-row-group
-tan
-teal
-text
-text-align
-text-align-last
-text-bottom
-text-combine-horizontal
-text-decoration
-text-decoration-color
-text-decoration-line
-text-decoration-style
-text-indent
-text-justify
-text-orientation
-text-overflow
-text-shadow
-text-top
-text-transform
-text-underline-position
-thick
-thin
-thistle
-through
-tomato
-top
-track
-transform
-transform-origin
-transform-style
-transition
-transition-delay
-transition-duration
-transition-property
-transition-timing-function
-transparent
-turquoise
-type
-ultra
-ultra-condensed
-ultra-expanded
-underline
-unicode
-unicode-bidi
-upper
-upper-alpha
-upper-latin
-upper-roman
-uppercase
-variant
-vertical
-vertical-align
-violet
-visibility
-visible
-visited
-voice
-voice-balance
-voice-duration
-voice-family
-voice-pitch
-voice-pitch-range
-voice-rate
-voice-stress
-voice-volume
-volume
-w
-w-resize
-wait
-weight
-wheat
-white
-white-space
-whitesmoke
-wider
-widows
-width
-word
-word-break
-word-spacing
-word-wrap
-wrap
-writing-mode
-x
-x-fast
-x-high
-x-large
-x-loud
-x-low
-x-slow
-x-small
-x-soft
-xx
-xx-large
-xx-small
-y
-yellow
-yellowgreen
-z
-z-index
-zero