[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] branch elpa/idris-mode created (now 3cc9361)
From: |
ELPA Syncer |
Subject: |
[nongnu] branch elpa/idris-mode created (now 3cc9361) |
Date: |
Sun, 29 Aug 2021 11:17:30 -0400 (EDT) |
elpasync pushed a change to branch elpa/idris-mode.
at 3cc9361 Merge pull request #540 from jfdm/change-master-to-main
This branch includes the following new commits:
new 98fb979 First stab at an idris highlighting thing for emacs
new c99a85c readme for github
new 18d3d1e typo
new c8704d3 oops, used an undefined variable on accident.
new 3ea4126 hmmm, highlighting idris-assignment spins forever on
larger files.
new 80e6382 fixed idris-assignment, by way of idris-identifier.
new a0f96f4 `assingnment` now matches most type signatures.
new e78cae5 rewrote most of the syntax highlighting.
new f0b9cd5 match type annotations with ':' less permissively.
new 9072c1e comment typo.
new 471d5c2 % directives no longer require spaces.
new a2881ef lists don't actually need to be done.
new 9961dda moved the operator regexp.
new cc7889c factored out the operator face, too.
new d4440d7 spaces before = are optional.
new 592701c first attempt at {- comments -}
new 54077fd cleaned up the : and = rules a bit.
new e375272 Moved the keyword highlighting to the very end.
new 0487ecb an identifier face; an identifier regex.
new c82959c switch to keyword highlighting with
font-lock-add-keywords.
new 77a5281 make a syntax table.
new 2ee9ccf Added inferior Idris support using comint-mode
new 82a0940 Describe inferior-idris-mode
new d205725 Very basic keyword highlighting in inferior-idris
new f6063ae Made keyword and comment highlighting work better in the
REPL
new d75f585 reorder to have keywords nearby the end, just before
identifiers
new 63d1bea Merge pull request #1 from hannesm/master
new 6d2addc add support for load file, including some process
interaction
new 1829d26 reset working-directory, make it buffer-local and fewer
debug output
new a44ff0f minor fix
new a1200dc _ and ' might occur in identifiers/names - unfortunately
didn't find the magic to use 'x' as character/string, but foo' as identifier
new 077a664 use reload if we can
new ae5c629 parsing of warnings and highlighting these using overlays
new 6c55a81 robustness
new 1258759 updates to readme
new bb2d292 clarify sources and license
new 2e4377b Merge pull request #2 from hannesm/master
new ce7a5c5 require cl
new 03c2017 Fixed highlighting of "with"-definitions
new 92ee8f1 Fixed highlighting of "with"-definitions
new 0b1ca93 Merge remote-tracking branch 'origin/master'
new ab03012 Fix highlighting of character literals
new 5dd6204 Make Idris faces customizable
new 68bd4d9 Make Idris interpreter location customizable
new 7dfa560 Properly handle Idris faces; better customize organization
new 346710f Ignore autosaves
new 4b1a5bc Update README with new installation and customization
functions
new 87a5192 Proper highlighting of "where" blocks
new 0084db1 Added customizable mode hook
new 13a683b Emacs <24.3 compatibility
new 990d0e7 Basic indentation cribbed from Haskell-mode
new 7e78916 Minor cleanup
new 06e20f3 Handle type ascriptions in where blocks
new ce42d71 Turn off tab indents
new c2c5723 Added "customize" to menu
new 5fb7339 get rid of cl requirement, use idris-faces customization
group
new 23aef02 Fix File mode specification error: (wrong-type-argument
symbolp (make-local-variable (quote indent-tabs-mode))) reported by andreas
bogk (@andreas23)
new b6ee917 full text of the gplv3, as per issue #4
new 0eb1e75 integrate initial copyright notice from @startling
new f1bc17a Change indentation for "module" keyword from Haskell to
Idris syntax
new 9443caf set comment-start for e.g. M-;
new 5dd3833 Merge pull request #2 from
startling/startling-syntax-merge
new 5fd35d6 Allow passing command line args to interpreter
new d02b7e0 Merge pull request #5 from mjhanninen/interpreter-flags
new 64db070 initial ideslave
new 86df66a forgot to commit to use inferior-idris now
new 1749255 work on an Idris REPL
new f0cc1f5 minor fixes to get it right
new 69da8b4 output of interpret is supposed to be (output value).
also, keep buffer while receiving input
new 3ff71bb completions, synchronous evaluate and more
new c6e189d move markers on input and output, qualify output from
result
new 45f8089 proper REPL error reporting
new 46e4a31 idris-rex doesn't get any process anymore, but uses
idris-process -- contain that variable in inferior-idris.el
new 1c58d68 completion works now pretty well
new 9cac495 use key map, define proper mode
new c2ae3da history, a persistent one :)
new ad779e4 rename abort -> error, emacs-rex -> idris
new 97f06f1 compile-and-load file support
new 866a8ea remove usage of deprecated variable
new 4984b58 remove superfluous :idris from command
new be42bd7 revert workarounds if we get non-sexp output from idris
new 4a502db provide a hook facility for events, used by repl
new ba7340e insert newline if needed
new c3adc0e use the idris-interpreter-flags also in this branch
new b5796e0 start at 1, 0 used as special var on haskell side
new 26d388e require load-file to start a repl if not already there,
also support updating of prompt
new 9155211 modify protocol for result of a command slightly
new 37f6ad8 remove newline from quit message of idris
new 0e65a1e re-enable support for warnings
new 2110906 Merge pull request #7 from hannesm/ideslave
new 648d711 first steps for prover
new ddf7897 fix copy and paste error
new bcba8dc react on more messages
new 1ab44aa some initial work on the prover mode
new fc09e43 log time for each event
new d9e4329 more improvements to the prover mode
new badc916 log time for each event
new bef1dcb Merge pull request #8 from hannesm/log-timestamp
new 89a39fe add idris-quit function, fixes #10
new c51071e fix read-only for proof script
new 6f87f7a Make proof obligations and repl pop up when starting
new 2ef50fa Merge pull request #1 from
david-christiansen/ideslave-prover
new aa8f83c support for proof script editing
new 61beb21 implement backwards
new cb012d1 completions for proof script!
new 58ac1cc Cause both script and goals to be shown when entering
prover
new 724f981 Menu improvements: add quit, add repl menu
new 6d7fca2 Merge pull request #2 from
david-christiansen/ideslave-prover
new 782524f fix killing of proof-script buffer; fix completions
new 6203f0c Merge pull request #11 from hannesm/ideslave-prover
new 4d2c79f define defvar-local if not defined, fixes #14
new 9d41731 Merge pull request #15 from hannesm/defvar-local
new 94b1d6e Add `abstract` and `private` to keywords
new 158c746 Merge pull request #16 from bjz/master
new fa6782f support type-at-point, stealing some elisp from david
new 5875088 Merge pull request #18 from hannesm/master
new 3edc411 implement case splitting
new 3e140ac implement adding a clause
new 471056c support add-missing, make-with-block and proof-search
new e393e81 support for add proof clause
new 3ae4c63 support for log messages from idris, show up in a
different buffer (*idris-log*)
new 6dd5f41 forgot some stuff for logging purposes
new b2976b2 put history into .idris directory, which is created by
idris anyways
new faed4aa remove unneeded function string-no-properties
(substring-no-properties without FROM and TO has the very same effect)
new fd1e516 cleanup imports
new 13e8d13 rename idris-log-event to idris-event-log for clarity,
now that we have idris-log
new 9f89d70 fix warning span
new ed34744 only kill buffers if process was killed
new 0eb360b fix error reporting: on empty line insert a whitespace to
have something for the overlay
new 89e3d1a display condition from idris when synchronous evaluation
fails
new 5624442 only do evaluation if there's something at point; also do
loading of file only if there's something at point
new ebe5f2e added link to pdf
new a0f3883 actually add missing cases into buffer
new b2f0339 inserted some more documentation
new 5d1e549 Add autoload cookies & URL header
new f136a9c Merge pull request #22 from purcell/patch-1
new 0c210f6 Mention availability of MELPA packages
new 6f987f5 Merge pull request #23 from purcell/patch-2
new 96bd189 introduce idris-core.el, on which all .el files depend.
this loads idris-compat
new aa262a5 Adapt behaviour of C-c C-t to the same as the other
interactive commands: - save buffer - load file synchronously - send command
over the wire to Idris process
new 4242c7e Provide prefix argument to load which does not pop to the
REPL buffer fixes #27
new c65dc61 Add initial Commentary section to idris-mode.el
new 72847ba fix typo
new fb8fd52 use apply-partially instead of a lexical-let
new b7086ec Support yasnippet
new b75dbea insert output at right place (after prompt), always
insert a prompt after a command fixes #13
new 00bcd0e Add README info and demo for interactive editing
new 9f24584 Ensure that both Idris process and the idris repl buffer
is up and running, before calling Check.
new 2ac2883 add documentation for prefix arguments and C-cC-l
new 0c19e2f Stopped idris-load-file from unconditionally erroring
new 92dca82 Replaced key specifiers like [return] with ?\ escapes.
new 26f6923 Changing "\t" to [?\t] for consistency
new e242f35 Merge pull request #31 from
trillioneyes/fix-keymap-declarations
new dd321f8 support for a :warning format with either line number, or
line number and column (#731 in idris-dev adds the column)
new bb11d62 delete all overlays if idris is quit; fixes #32
new 99fcee6 include note about idris version (to remove once a future
idris release is out)
new cb731c6 Add dirtiness tracking for Idris mode
new 8f3b822 Changed all keymap definitions to use kbd instead of
escapes
new 69a9954 Merge pull request #33 from
trillioneyes/use-kbd-for-keybinds
new a076196 Minor code cleanup
new a5667ee Make dirty-bit tracking more reliable
new 2ccbc91 Whitespace cleanup
new 40dbd37 Correct highlighting of _|_
new cf80f1d Fix highlighting of definitions and metavars
new 27d5e24 Improve highlighting of characters and strings
new 3ca16fd Improve highlighting of definitions with totality
new adbccb4 Highlight infix operator definitions correctly
new 0bf388c Highlight definitions with impossible clauses
new d66a418 Highlight %assert_total in a scary manner
new a874a57 Fix highlighting of directives
new 8a484c7 Fix adding clause newlines
new 00cb7e1 Replace gratuitous use of LOOP with MAPC
new 75d91d4 Replace side-effect-only MAPCAR with MAPC
new 7e6b317 Show type information in a buffer
new f9c08ef Completion of global identifiers in Idris buffers
new 91c24de keep track of current working directory and set
accordingly
new 3be0882 Add Slime-style words of encouragement
new 47df65d mouse-click on completions works slightly better now
new 4da7353 fix typo and add another
new c48e465 Eliminate stupid warnings about runtime use of cl
new fbc2848 Remove other warnings during byte-compilation
new b4dc83e Add *.elc to .gitignore
new f64d718 Use lexical binding
new 88fe8df Prefix unused variables with _ to avoid warning
new 14cf0df Prettier logging
new 62cdcaa Fix copy-paste error
new 6f7f30e Add excellent words of encouragement suggestion
new b76b87e Specify lexical-binding on the header line, to keep
package.el happy
new 28cda62 Merge pull request #39 from
david-christiansen/fix-require-line
new e1a0e19 Merge pull request #38 from david-christiansen/better-log
new e2514cd Merge pull request #40 from
david-christiansen/words-of-encouragement
new 6ae7d8b Merge pull request #41 from
purcell/safe-lexical-binding-decls
new 66b59c0 Make explicit the requirement for Emacs 24
new 4797afa Merge pull request #42 from purcell/patch-3
new e7cb0d8 Major mode for Idris log buffers
new 129817b Add command and menu item for viewing compiler log
new 3eb1a96 Merge pull request #43 from david-christiansen/better-log
new 3339d91 Add command for easy insertion of _|_
new 7982b10 Merge pull request #46 from david-christiansen/insert-bot
new 2d78b21 clear all the warnings when loading anything
new 59e4af2 print errors in repl buffer as well
new 6c7a0be provide a tree view for warnings (with some navigation to
the source), pop that buffer if there are warnings
new a0ae45d be a bit more careful about state
new 274f0fe Merge pull request #50 from hannesm/issue-44
new 7898d1c warning -> error, instructions for *idris-notes*; clean
and dirty fiddling
new 0207054 Merge pull request #52 from hannesm/more-fixes
new 2b9eb35 Add interactive Idris commands to menu
new 13ebabc Merge pull request #53 from david-christiansen/more-menu
new 078b347 provide idris-kill-buffer which kills the buffer if alive
new af23b53 provide 'q' as keyboard shortcut to destroy the notes;
also some cleanups
new 201ac2e use idris-kill-buffer
new 9a42240 do not use view-mode, since it shadows q - additionally,
use idris-kill-buffer
new 1891490 move idris-kill-buffer to idris-common-utils
new 4e6e195 provide with-struct macro, fixes #54
new 1d894f3 Merge pull request #56 from hannesm/issue-54
new 2ac8e87 Merge pull request #55 from hannesm/minor-fixes
new db91a25 move gif up
new bcae36a Remove compiler warnings
new 9cfce56 Allow file or directory variables to add packages
new bf251bf Merge pull request #58 from
david-christiansen/remove-warnings
new 0a9f1f6 Merge pull request #59 from david-christiansen/packages
new 8204874 Improve reliability of changed package reload
new d597c46 Merge pull request #60 from david-christiansen/packages
new 1e909db Adding mnemonic comments
new 536dfe7 Changed a doc comment to mention an edge case
new 28022ac Added "record" to the list of toplevel keywords
new 6916f66 Let `idris-indentation-peek-token` know about the
"record" keyword
new 8d4cd54 Stopped recognizing some keywords from haskell
new b596382 Added handling for record update syntax in expression
context
new d11516f Removed erroneous `current-token` update
new 93aefd6 Merge pull request #61 from
trillioneyes/syntax-error-where
new 0efb20e Add semantic highlighting to REPL.
new 81e84b9 Merge pull request #63 from
david-christiansen/semantic-highlighting
new 4c3843c Semantic highlighting in C-c C-t output
new 8ae4f98 Merge pull request #64 from
david-christiansen/semantic-highlighting
new d1f469c added tex source of the documentation
new f3237c8 inherit from prog-mode rather than fundamental
new 0be67bf Merge pull request #67 from hannesm/fix-62
new 1e4a350 Show ! in the modeline while Idris is busy
new 80facf6 actually pop to *idris-notes* buffer if there are
warnings. if not, kill the *idris-notes* buffer
new cb7f9bd focus error when selecting in *idris-notes*
new cbf6c48 pop to repl only if it was freshly made
new 916acad Merge pull request #69 from
david-christiansen/interpreter-status
new 384498d Merge pull request #70 from hannesm/more-sane-error
new 8b50ce0 I like this nil better than the other one
new 6f97440 Fix REPL completion
new 219a67b Merge pull request #71 from
david-christiansen/interpreter-status
new 965238e Update interactive Idris commands to new idris-eval
signature
new 8e25d46 Merge pull request #73 from
david-christiansen/interpreter-status
new 03412c0 Prevented extra indentation after a `module` declaration.
new ed2ae2e Prevented the syntax entry for '-' from being erroneously
redefined
new aa7d605 Merge pull request #75 from trillioneyes/skip-comments
new 811c4a0 cl-flet is lexically scoped flet -- but we would need a
dynamic binding here
new ef394e6 Merge pull request #78 from hannesm/maybe-fix-76
new 2b6d90f Display highlighted errors from Idris at the Emacs REPL
new 456ba5e Remove debug printf
new bb912a7 Highlight compiler errors in tree
new 69e1444 Merge pull request #80 from david-christiansen/master
new 2e4abbb Highlighting and help tooltips for notes buffer
new 30fb55f Merge pull request #81 from david-christiansen/master
new 2a85700 Show compiler notes tree in chronological order
new 8d6f96a Merge pull request #82 from david-christiansen/master
new 0a0ef18 Added some explanation to install
new 37ae9bd Merge pull request #84 from joneshf/patch-1
new ad3d6e8 Add note about `idris-interpreter-path`
new 0a3d820 Merge pull request #85 from david-christiansen/master
new decb3d6 Move things around to create a strict dependency order
new 1d5d531 Merge pull request #86 from david-christiansen/master
new 12b0710 Make C-c C-t work more places
new 31ffdd8 Add command for retrieving docs
new 278bbaf Add mouse commands to semantic highlights
new bc7b057 Merge pull request #88 from david-christiansen/id-popups
new c97f36c might fix #76 by removing all the flet
new 4864705 Merge pull request #90 from hannesm/no_flet
new 32ce582 Add support for new-style docstrings in font-lock
new 8e0ac86 Update font-lock support for dangerous constructs
new 4fb1bd4 Merge pull request #91 from david-christiansen/master
new 0e2ee3b Beta-reduce for readability
new 4c9960b Correct highlighting of last letter of pragma
new 5a95ee5 Merge pull request #93 from david-christiansen/master
new 95231a9 Add 'implicit' to keywords
new da07275 Merge pull request #94 from david-christiansen/master
new 057ba25 Since March 10th 2014 (commit
7437ebe5052250630ca52117dd50dbf3187807d5) - Idris 0.9.11.2 WARNING is of form
(filename (startline startcolumn) (endline endcolumn) message &optional
highlighting-spans)
new 965665d Merge pull request #96 from
hannesm/fix-source-location-warnings
new f525c47 Add support for :apropos from Idris compiler
new 17e77b3 Add idris-apropos to the menu
new 12442bc Support IDESlave text formatting instructions in
docstrings
new a585ffd Add a note about fonts and colors to the readme
new 70bc7dd Merge pull request #99 from
david-christiansen/readme-colors
new d35cd2d Merge pull request #98 from
david-christiansen/text-formatting
new a93265e Describe formatting in docs
new 6612185 Added note about overlapping
new d4d0b36 Merge pull request #100 from david-christiansen/docs
new 1ebe411 Add support for keywords in REPL output
new 52832d0 Add keyword highlighting to docs
new aba4f64 Add menus for interpreter options
new f007774 Merge pull request #102 from
david-christiansen/options-menus
new 6ec32c8 Support highlighting metavariables
new 2b42a49 Support docstrings and types from ideslave
new 1f52575 Merge pull request #103 from
david-christiansen/metavar-highlight
new dd1aa82 Merge pull request #104 from
david-christiansen/docs-n-types-in-output
new 45ba45b Support :exec in REPL
new 5d3e3f3 Add command and menu item for :exec
new 7191422 Merge pull request #107 from david-christiansen/issue/106
new e76c7c7 Add a major mode for .ipkg files
new 2d11593 Add completion to idris-ipkg-mode
new d3ba989 Find the ipkg file automatically
new 12749cf Add major mode for Idris build buffers
new 7830ff1 Menus and keybindings for ipkg
new 0e02088 Add keybindings for package operations
new d2c49d7 Add new `covering` keyword
new 2e2d18f Merge pull request #108 from
david-christiansen/idris-ipkg-mode
new 4ebeb7f Merge pull request #109 from
david-christiansen/covering-keyword
new 1a73b06 List metavariables on file load
new d5b0b87 Fix incorrect synopsis
new fad4b16 Merge pull request #110 from
david-christiansen/metavariable-list
new ebc8b1f Use buttons for the warning tree
new 03a8da7 Macro for performing output in an info buffer
new 673cffa Allow trees to have lazily-constructed children
new baa5857 Lazily expand children on demand in tree
new c8933b0 Greater flexibility to clients of info buffers
new cd425f4 Increase the print depth in *idris-events*
new bf860c5 Simplify protocol for :who-calls, :calls-who
new d887445 Add file header to idris-core.el
new fbc6e13 Use Emacs's built-in completions handling for REPL
new 32e2833 Merge pull request #114 from david-christiansen/issue/36
new 1a27ac2 Merge pull request #113 from david-christiansen/whocalls
new a0aa4fd Simple, hacky imenu support via regexps
new a3906db Merge pull request #115 from david-christiansen/imenu
new 5993625 Support new :refine command
new 4336700 Maintain a local mirror of Idris options
new 87733ad Merge pull request #116 from david-christiansen/refine
new 965fd72 Merge pull request #117 from david-christiansen/issue/112
new ab14954 Don't give the metavar buffer focus by default
new a037356 Configuration options for metavar display
new 2d6adc6 Merge pull request #118 from
david-christiansen/no-metavar-pop
new 0e2d07d Read .ipkg file to get working directory
new d84a9e2 Insert bird tracks on idris-add-clause if necessary
new 16c14d5 Fix bad loading order
new 80763e7 Merge pull request #119 from david-christiansen/ipkg-load
new a09bddc Merge pull request #120 from david-christiansen/lidr
new 532c3ff Don't show absurdly long prompts
new 4c083fc Merge pull request #121 from david-christiansen/ipkg-load
new ac147f6 Add command to go to REPL
new 0d9c936 Merge pull request #124 from david-christiansen/ipkg-load
new 164dadb Load files relative to working directory
new 6bce22e Merge pull request #127 from david-christiansen/ipkg-load
new a357c77 Be smarter about checking file locations
new 426ff5d Merge pull request #129 from david-christiansen/ipkg-load
new b192451 Comments for .ipkg
new 6d1ebf6 Merge pull request #130 from david-christiansen/ipkg-load
new 32f9030 Show warnings even if they don't have a source location
new 644f8ac IDESlave protocol flexibility
new 0288db5 Merge pull request #131 from david-christiansen/ipkg-load
new 971a11c Make RET insert a newline and indent
new e71ef39 Merge pull request #132 from david-christiansen/lidr
new d8108f9 Make identification of names more accurate for case
splitting
new a5b28ac Merge pull request #134 from david-christiansen/point-fix
new 9c3e692 Add command to delete IBC files
new 993265e Merge pull request #136 from david-christiansen/delete-ibc
new a588c46 Allow filling of docs and comments with M-q
new 4c353f7 Merge pull request #137 from
david-christiansen/fill-paragraph
new 7c6b4c2 Backslash is not escaping in lambda abstraction
new 8001c0e Flycheck support
new 41b7c7d Fix compiler warnings (and a bug they found)
new 6b0316f Merge pull request #138 from david-christiansen/flycheck
new 0b7d9c2 Add a command to initialize an Idris package
new 082216b Keybindings and commands in README
new d192ae5 Make it easier to press the apropos key
new 88b9cff Merge pull request #139 from david-christiansen/startcmd
new 5f7d03d Merge pull request #140 from david-christiansen/easier-key
new 6c4da10 Merge pull request #135 from soimort/patch-1
new 88304e6 Insertion of fields for ipkg-files
new 08c2d46 Merge pull request #141 from
david-christiansen/ipkg-fields
new a7caf09 Initial import of haskell-simple-indent
new ff8f231 Replace Haskell bits with Idris bits
new d22f3fa Add minor credit info
new 596f0e8 Make indentation code work with .lidr
new 5868a7f Add indentation setting
new 800952f Improve syntax highlighting for .lidr files
new 5bf4b1f Require the new indent
new 2eb478e Merge pull request #144 from
david-christiansen/better-lidr-syntax
new cd954f4 Fix circular dependency
new 62b4b89 Merge pull request #143 from
david-christiansen/idris-simple-indent
new aa788c8 added link to DTP14 abstract
new 086b6b2 Add support for :makelemma
new 4f690ac Merge pull request #145 from david-christiansen/make-lemma
new 39c1f22 Add command and menu item to specify packages
new 057a01d Merge pull request #147 from
david-christiansen/idris-set-idris-packages
new 6186e60 Clear the compiler notes when beginning load
new dfdf93c Merge pull request #148 from david-christiansen/issue/123
new bc78677 Make module names in ipkg files clickable
new 7ef6314 Merge pull request #150 from
david-christiansen/clickable-ipkg
new 43f83d3 Make C-c C-s deal with multi-line type declarations
new abe4f03 Merge pull request #151 from
david-christiansen/better-c-c-c-s
new 1153098 Allow filling paragraphs in LIDR files
new cfb1635 Merge pull request #152 from
david-christiansen/better-c-c-c-s
new f10ce51 Add clickability to Makefile and sourcedir
new c39adf3 Add clickability to module imports in same package
new 0b3794d Readme update for clickability
new a4a6b9a Add note on compatibility
new 3d72bbe Merge pull request #153 from
david-christiansen/better-c-c-c-s
new 984c9e8 Allow setting the depth of proof search
new 66a414a Merge pull request #154 from
david-christiansen/proof-search-depth
new 794758d Better message when deleting IBC
new 6b0e8be Allow partial loading of buffers
new e132f6f Describe region loading in README
new 248119d Merge pull request #155 from
david-christiansen/load-region
new b693441 Check for existing ibc before deleting
new e5069a4 Merge pull request #156 from
david-christiansen/load-region
new aed4284 Support Eldoc
new 3840105 Indentation support for idris- macros
new 132cc02 Merge pull request #157 from david-christiansen/eldoc
new e5ee57f Fix errors from overzealous eldoc
new 8574a4f Make keybindings follow Emacs conventions better
new 9200a2b Merge pull request #160 from
david-christiansen/keybinding-compat
new fd22588 Merge pull request #159 from david-christiansen/eldoc
new fc5dcb2 Make idris-mode work with 0.9.12 again
new 7bc6346 Make whole-buffer-loading in 0.9.12 prettier
new abade00 Properly respect the setting
`idris-metavariable-show-on-load`
new 5ff0e4a guard idris-load-file-sync also with a stringp
new 917a39f Merge pull request #166 from hannesm/issue/163
new 98c9399 Improve clickable filename code
new 98e12fb Merge pull request #168 from
david-christiansen/clickable-ipkg
new 4378fe0 Add a command to open the package file for editing
new 6ffd30f Merge pull request #170 from david-christiansen/open-ipkg
new c524402 New words of encouragement
new f3af659 Merge pull request #171 from
david-christiansen/poem-of-encouragement
new b94783a Support type search
new 556ce2f Merge pull request #172 from
david-christiansen/type-search
new 7b198ea Check for buffer load marker in idris-load-sync
new 934255e Merge pull request #175 from david-christiansen/issue/174
new f519eac Remove the need for a ; after tactics in prover
new 64b680c Highlight the "postulate" keyword
new 823c28a Merge pull request #176 from
david-christiansen/postulate-highlight
new 2ce7372 Close prover windows after qed
new 04960f0 Readable timestamps in *idris-events*
new 5a06aaa Launch the prover from right-click menu on metavariables
new ecfad43 Working prover that can save proofs
new 83a2baf Be more selective about where Idris tries to make buffers
clickable
new e60541b Merge pull request #179 from
david-christiansen/clickable-module-selectivity
new ea3df63 Merge pull request #178 from david-christiansen/prover
new 1cb333d Don't show error on empty REPL command.
new b5734c3 Docstring
new 9d999ef Major simplification of marker protocol in REPL buffer
new b212604 Make prover window more reliable
new cf3fa98 Update metavariable list after proving something
new 35f71fd Add missing cleanup to idris-quit.
new e88de2e Detect loading while proof active
new e61307d Merge pull request #180 from david-christiansen/prover
new 5c183d8 Reset more state on quit
new 854eb18 Completion in proof script buffers
new 509383c Make finding the package work from ~
new 8308073 Make the hack more flexible
new 96185f7 Merge pull request #181 from david-christiansen/prover
new a03eb1f Merge pull request #182 from david-christiansen/prover
new c66966a Fix a bug in the dirty bit when not partial loading
new 7701600 Merge pull request #183 from
david-christiansen/fix-load-tracking
new 3444225 Stop switching to partial load mode against user wishes
new 9164718 Fix problems with error display and .ipkg
new e6f4308 Merge pull request #184 from
david-christiansen/fix-load-tracking
new 3028f49 Add commands and keybindings for moving between errors
new 1e2b336 Update docs about doc commands
new 994eb9a Merge pull request #185 from
david-christiansen/error-keybindings
new b88e351 Get rid of message about nil being an unknown face
new 314e531 Merge pull request #186 from
david-christiansen/error-keybindings
new 36267b5 Import slime-search-property
new 43ff8d2 Fix stickiness problem with REPL text props
new f5d82f8 Add the ability to perform ops on live terms
new fb65192 Improve finding term boundaries
new 9b6024d Fix off-by-one error in term replacement
new 3dbe928 Support active term widgets properly
new 25562e4 Merge pull request #188 from
david-christiansen/active-terms
new 3bd5204 Properly indent the results of active term commands
new 87ee043 Merge pull request #192 from
david-christiansen/active-terms
new 11f2d1c Delete old, broken indentation
new 9be74b9 Remove broken yasnippet integration
new a68eead Merge pull request #193 from
david-christiansen/crap-removal
new 3f23d1f Move most key defs to hooks
new ff27167 Merge pull request #194 from
david-christiansen/keymap-hooks
new edc4ace Move keybinding hooks to new file
new 16e2bf8 Merge pull request #197 from
david-christiansen/keydef-file
new 73a750f Add README note about setting packages
new 3c78703 Merge pull request #199 from
david-christiansen/keydef-file
new 98318cd Allow setting the pretty-printer width from customize
new 7bd89f6 Merge pull request #204 from
david-christiansen/pprint-width
new d48925e Make cl stuff point at cl-lib
new dfcfaa2 Further cl- prefixes
new 79bbdce Use normal LET
new 4ace6a8 More cl- prefixing
new d22839c Add missing lexical scope specifier
new 08e3a2f Add missing lexical binding
new abad78f Merge pull request #205 from
david-christiansen/keydef-file
new 6804608 Support semantic highlighting of proof state
new 6537307 Merge pull request #208 from
david-christiansen/keydef-file
new 4cf005c Remove idle timers
new c24a095 Merge pull request #209 from
david-christiansen/timer-removal
new 69fb4c6 Compute command line arguments for package member
new 2cda90c Add a hook for literate Idris files
new 77f574e Merge pull request #210 from david-christiansen/lidr-hook
new f8ec938 Add optional help text in metavar list and prover
new 2ca8364 Merge pull request #211 from david-christiansen/help-text
new bd0ab52 Added note about currently loaded region face
new 5c1bc61 Add note about completion-ignored-extensions and .ibc
files
new 1ed1dc0 Merge pull request #212 from
david-christiansen/doc-updates
new 5965c6f Added help text customization note
new 102c06a Merge pull request #213 from
david-christiansen/doc-updates
new 4f945bd Makefile and decruftification
new 3e5c4d9 Add trivial test
new dcae923 Add travis config
new 95c22ae Merge pull request #214 from david-christiansen/tests
new a814834 Install Idris as part of idris-mode tests
new 0d24ed8 Test that the setting controlling the metavariable list
works
new 9b7031e Make Idris install follow recipe
new f718999 Test that idris-quit cleans up stray buffers
new dc5087e Test proof search
new 64f4c27 Added note about test suite to README
new 77551a3 Merge pull request #216 from david-christiansen/tests
new 897864d Add version
new ae94e18 Don't complain if errors are off and request cancelled
for idris-eval
new 2c80f69 Merge pull request #217 from david-christiansen/tests
new 20c702b Avoid ugly ANSI codes in package output
new 932364a Remove unneeded arguments from cmdline opt finding
new 6a4b2c9 Calculate command line arguments from .ipkg file
new f9f79d3 Correctly retract first proof step
new 656291d Add fun animation to REPL startup, like SLIME has
new 8794307 Merge pull request #218 from
david-christiansen/ipkg-ansi-color
new d0ab246 Merge pull request #222 from
david-christiansen/animate-repl
new 24e41c8 Merge pull request #221 from david-christiansen/issue/220
new d89e75b Merge pull request #219 from
david-christiansen/ipkg-cmdline-opts
new 4353a61 Add README note about helm package
new e3e848d Merge pull request #223 from david-christiansen/tests
new 1af0593 Added evil-mode bindings and documentation
new 438a218 Fixed comments noted by christiansen
new ce8d0c0 Add missing quote
new 1eaacde Make formatting consistent
new 84d2975 Merge pull request #225 from
david-christiansen/ahmadsalim-master
new a7ea411 $(shell ..) does not work with bsd make. emacs should be
in the path anyways.. also, use parens instead of curly braces
new d1aefe9 Merge pull request #226 from hannesm/fix-with-bsdmake
new 332a215 Match the default REPL highlighting
new a7770d2 Merge pull request #228 from david-christiansen/master
new fc3eb85 Don't fail when command line opts not found
new ff2fdec Fix synchronous loading in the presence of subdirs and
.ipkg files
new 9ab1c44 Merge pull request #233 from
david-christiansen/fix-loading
new d32966e Update keyword list to contain all tactics
new 798d68c Add "proof" and "tactics"
new 8c5d877 Implicit arg kwds
new c2123cd Fix highlighting of "let"
new 6d1864e Merge pull request #234 from david-christiansen/kwd-updats
new 6c467e6 Add LIDR-aware delete command
new 313f188 Merge pull request #236 from david-christiansen/issue/235
new 49e3805 cleanup makefile - stick to GNU make for now also remove
ibc in test-data
new c9065cb renamed compile to build
new 41d1d35 actually, test does not depend on build (we can test with
.el files)
new 8885490 Merge pull request #238 from hannesm/janitor
new 2ca3db8 support for protocol version message from server side ;
also install hooks earlier
new d700e4a provide boilerplate for socket communication
new f6bf143 Remove socket connection on idris-quit
new b38feaf Allow spans in prover errors
new 1cf2efe only ask once, and keep process and connection in sync
new de17650 Merge pull request #240 from idris-hackers/socket
new d49b04e Place abandoned proofs on kill ring
new ebc0437 Put idris-process into comint
new 266bd19 Merge pull request #242 from david-christiansen/issue/241
new 8080e5e Run idris-process in comint
new 86e8096 Fix warning
new 454da0d Merge pull request #243 from david-christiansen/issue/21
new 11ac22e remove compatibility for old Idris versions
new 540d481 revert usage of (endline endcolumn)
new 9081deb use endpos if available and different from startpos
new 7919667 fix indentation
new 4d5ed52 Merge pull request #244 from hannesm/janitor
new 813778b Add test that error buffer shows up
new 247e834 Merge pull request #248 from david-christiansen/new-test
new a494ae0 Support :printdef over IDESlave
new a181f66 Update test runner for new language-java dependencies
new 1190ecd Support :pprint with a command
new d24b7f4 Merge pull request #252 from david-christiansen/print-def
new f80a630 Change default warning face to red wavy underline
new 40c263b #255: Added a dark-background highlight. It isn't
perfect, but it is better
new a4fd117 Merge pull request #254 from david-christiansen/print-def
new f789cac Support displaying embedded errors in docstrings
new 886850c Merge pull request #260 from david-christiansen/master
new cc38bc6 Added badges for MELPA and MELPA Stable.
new 557658d Current indent + 2 is a valid stop (fix #250)
new 7ceee44 Merge pull request #261 from jfdm/improv/badges
new 6f2d4be Remove special support for _|_
new 464a44c Remove extra autoload cookie
new 1ad0f16 Merge pull request #262 from soimort/fix-indent
new 4154716 Merge branch 'dark-theme-highlight' of
github.com:hughfdjackson/idris-mode into hughfdjackson-dark-theme-highlight
new cc823ae Add more settings for idris loaded region face
new 76fe495 Save excursion when loading for interactive editing
new 004c4d6 Merge pull request #263 from david-christiansen/no-bottom
new 183adaf Merge pull request #264 from david-christiansen/issue/258
new 1fea06f Merge pull request #267 from david-christiansen/issue/237
new 9475f2d Merge pull request #266 from
david-christiansen/hughfdjackson-dark-theme-highlight
new 5b5aac2 Remove redundant call to standard-syntax-table
new 1f22e04 Better parsing of character literals
new c4cae4e Remove unneeded comment highlighting
new 165cb69 Remove debug code (oops!)
new ecced70 Properly fontify keywords line beginning/end
new a4262f1 Add note about MELPA stable and package pinning to README
new 7155262 Merge pull request #265 from
david-christiansen/better-syntax
new 4028af9 Merge pull request #269 from
david-christiansen/pinning-readme
new 1fb985f Delay definition of flycheck checker to run time
new f7b286f Make sure idris-mode builds on emacs 24.4
new adcdd90 Merge pull request #270 from myrbock/emacs244
new 93b7833 Compute flycheck command line options properly
new 68dd11b Factor out argument computation to one function
new a592f5c Make comint filter lists buffer-local
new 2007024 Add evil keybindings through a idris-mode hook
new 193db6a Fix definition order
new 410affe Merge pull request #276 from myrbock/evil-keybindings
new 643f4ff Merge pull request #274 from david-christiansen/issue/271
new a08569e Merge pull request #275 from myrbock/process
new 0ebe608 Define and use idris-try-directory-files for unreadable
upstream directories
new 957b2ed Style and doc tweaks
new 8802727 Merge branch 'taruti-master'
new 7847488 Improve highlighting of provisional definitions
new a9518e2 Only check for changed flags if Idris is running
new b554d11 Restore processed area marker on prover error
new 5cbe3db Remove obsolete TODO
new 155f079 Nicer error messages from prover
new eb9a926 Improve cursor positioning with M-n in prover
new 9f08643 Merge pull request #282 from david-christiansen/issue/281
new e7f5c63 Merge pull request #283 from david-christiansen/issue/278
new 8e53cfa Merge pull request #284 from david-christiansen/issue/277
new ec202f1 LIDR-aware comment search
new b1697b1 Don't highlight keywords and operators in doc comments
new e1f9626 Properly highlight doc comment delimiters on empty lines.
new 56418ff Merge pull request #285 from david-christiansen/issue/45
new 661c610 Update docs slightly to help user confusion from IRC
new 556494e Merge pull request #287 from
david-christiansen/minor-doc-update
new 85b1d37 Add instructions on troubleshooting a broken
idris-mode-hook.
new aca76d9 Add documentation for popwin.
new e08c1f2 Fix inaccurate information in the documentation of Pop
Win.
new 612ba26 Merge pull request #288 from
david-christiansen/minor-doc-update
new 2873c10 Added extract lemma to menu, and small language change
new 7195738 Merge pull request #290 from ahmadsalim/master
new bfdb0b0 Fixed buffer-local hooks a bit
new f973281 Remove keybinding hooks.
new 4508177 Merge pull request #294 from david-christiansen/issue/293
new 989e2d7 Merge pull request #291 from defanor/local-hooks-fix
new d5a4de7 Merge branch 'master' of
https://github.com/pharpend/idris-mode into pharpend-master
new 308e297 Rework text on Helm and Pop Win for consistency
new 9ec571f Move Evil docs to integrations section of readme
new d6e481a Merge branch 'pharpend-master'
new 855b3dd Properly highlight "import public" directives
new 3925c0d Merge pull request #298 from
david-christiansen/import-public
new bc4d079 Show Idris logo in REPL
new 148a713 Rework graphical logo code
new bd06ef6 Merge pull request #301 from david-christiansen/logo
new 01e0498 Add the Idris version to the REPL banner
new 063842c Merge pull request #302 from david-christiansen/logo
new 0eb80fd Remove the tactics from the keyword list
new 33a3dd0 Merge pull request #303 from
david-christiansen/no-tactics-as-kwd
new 5090a4c Add a hack for bad Idris output
new 92f3857 Merge pull request #307 from david-christiansen/issue/300
new ec00bfa Follow Elisp comment conventions more closely
new 36fde56 Add Idris keywords to completion functions
new dd6a3ab Prevent error on invalid identifier
new e587ea9 Merge pull request #309 from
david-christiansen/keyword-completion
new 3cd11f7 Place error overlays in widened buffer
new db21e89 Merge pull request #312 from david-christiansen/issue/311
new 180f437 Add commands for elaborating displayed terms
new 49752a2 Merge pull request #315 from
david-christiansen/inline-elab
new a20e1ef Offer to widen the buffer when clicking error locations
new 9fa4a6c Merge pull request #316 from
david-christiansen/narrowed-fc-click
new e7e7b71 Fix interpreter path setting name
new 3ef4c14 Merge pull request #318 from eldargab/eldargab-patch-1
new f81ed51 Allow buttons to be clicked with the left mouse button
new 0622c8c Add forward and back buttons to idris-info
new c2ed9eb Merge pull request #322 from
david-christiansen/info-history
new e003455 Merge pull request #321 from
david-christiansen/left-click-buttons
new 110095d Ensure that info buffers have the right major mode
new 6b9dae0 Fix compiler warning about unused variable
new 25cec12 Merge pull request #323 from
david-christiansen/ensure-info-mode
new 23cd11f Add a tree info mode
new b2f32e1 Fix typo in tree-info
new 0afd3e5 Add support for :browse-namespace
new 02d31e0 Merge pull request #325 from david-christiansen/issue/324
new 8f7dc22 Merge pull request #327 from
david-christiansen/browse-command-tree
new 58641d1 Also kill the tree viewer when killing Idris buffers
new fbe1c6c Merge pull request #329 from
david-christiansen/kill-tree-info-too
new e97ea2b Add "constructor" as a definition keyword
new 8537716 Support semantic highlighting of source code
new 7b3b60e Fix up the inferior-idris code to robustly handly output
new 218a310 Add string-suffix-p to idris-compat
new afbfc16 Semantically highlight literate Idris files
new df0013c Merge pull request #332 from
david-christiansen/syntax-updates
new 2a3e2bb Clean up conditional for readability
new cd065d3 Add comment about Windows newlines
new 60d7cd1 Merge pull request #333 from
david-christiansen/compiler-highlighting
new a0f6042 Apply semantic highlighting to the REPL input
new 2fc2915 Eliminate complicated highlighting
new ecda013 Fix byte-compiler warnings
new f5001bf Merge pull request #335 from
david-christiansen/compiler-highlighting
new 6f04083 Merge pull request #336 from
david-christiansen/syntax-updates
new 924ce3a Support namespace annotations from Idris
new c670ab8 "Fix" circularity with an autoload, like the others
new 7d259cb Merge pull request #337 from
david-christiansen/compiler-highlighting
new e9d2564 Allow highlighting even if Idris's cwd is not the same as
Emacs's cwd
new efd15ee Merge pull request #338 from
david-christiansen/compiler-highlighting
new b138a72 Start search for .ipkg on current file
new 429a04d Remove clickable imports code
new 184da02 Fix Travis by helping Cabal install Idris
new 5657ca1 Merge remote-tracking branch
'refs/remotes/upstream/master' into mouse-menu
new 730beaa Merge remote-tracking branch
'refs/remotes/upstream/master' into ipkg-search
new 970517e Fix regression in docstring display
new c6a3d28 Support for expression-like directives
new 002e9cf Merge pull request #339 from
david-christiansen/compiler-highlighting
new daf7e86 Merge pull request #343 from david-christiansen/mouse-menu
new 035f5b9 Pass on Idris errors when launching prover
new e707f85 Merge pull request #340 from
david-christiansen/ipkg-search
new 10877a9 Merge pull request #345 from
david-christiansen/syntax-updates
new 023bd6b Fix display of smaller error regions
new 860a8b9 Improve default faces and discoverability of customize
new 8145a07 Merge pull request #346 from david-christiansen/issue/330
new a267577 Merge pull request #348 from
david-christiansen/default-faces
new 70870c3 Merge pull request #347 from
david-christiansen/error-location-fix
new 1c95a6d Remove references to deprecated IDEslave command line
new 4ad4cbe Merge pull request #349 from david-christiansen/abolition
new e844462 Allow separate customization of Idris's doc face
new ff04f12 Merge pull request #350 from david-christiansen/master
new 3693dd6 Widen a buffer before applying semantic highlights
new 8f5d711 Merge pull request #351 from
david-christiansen/wide-highlighting
new 51d3015 Don't run evil keybindings initialization by default
new 8a0e8f2 Make words of encouragement more canonical
new 88e9e58 Merge pull request #354 from BartAdv/master
new eced6b3 Initial refactoring of idris-semantic-properties
new 78abcb0 Merge pull request #357 from
david-christiansen/refactor-property-fun
new eb98ba6 Merge pull request #356 from
david-christiansen/words-of-encouragement-update
new 600a1a0 Update docs link to point at official Idris docs
new 99237a6 Merge pull request #359 from david-christiansen/docs-link
new 1bedf70 Support the proof shell that uses reflected Elab
new 8a31cba Merge pull request #361 from
david-christiansen/elab-prover
new 11cc216 Fix mistaken keybinding
new 0817c16 Complain instead of deleting code on bad case split
new 56bbed3 Merge pull request #364 from david-christiansen/issue/362
new 010456b Merge pull request #363 from
david-christiansen/elab-prover
new 784556b Add the empty list as an explicit package option
new 6e07f7a Merge pull request #365 from david-christiansen/issue/355
new e335e4c Support highlighting postulates
new e7227b5 Follow REPL theme more closely for postulates
new 2e8e746 Merge pull request #366 from
david-christiansen/highlight-postulates
new f0659fd Support URL link annotations from Idris
new b9043d8 Fix byte compiler warnings
new 02cab64 Rename metavariables to holes
new 4c62f06 Merge pull request #368 from
david-christiansen/hole-rename
new bbae1f4 Merge pull request #367 from david-christiansen/links
new 7efe70c Use the 'highlight' face instead of hard-coding boxes
new 2b2a69b Merge pull request #369 from david-christiansen/highlight
new e2aaa7a Update version and dependencies in header
new 8d4e082 Use prop-menu.el to show popups
new adbe580 Update README with contextual menu
new 78f26ff Require PACKAGE before attempting to install dependencies
new 76f2954 Update to dependency-fetching
new 9925390 Run Idris package builds in a compilation buffer
new 29e22b6 Merge pull request #370 from david-christiansen/prop-menu
new addf532 Merge pull request #371 from
david-christiansen/compile-mode
new 418d4eb Fix broken Package-Requires
new 7bf2a53 Merge pull request #372 from dudebout/patch-1
new 5c8d0fd Rename idris-packages to idris-load-packages
new 0baa71e Merge pull request #374 from david-christiansen/issue/373
new d46e370 Add CHANGES file to repo
new 25ed68b Merge pull request #375 from david-christiansen/issue/373
new 340a47d Add compiler-supported quasiquote highlighting
new b5d7c62 Merge pull request #376 from
david-christiansen/quasiquote-highlight
new 6bede13 Add note about prop-menu to README
new 86976e7 Show hole list expanded by default
new f7ff7e2 Easy access to customize for idris holes
new 193b4c3 Merge pull request #382 from david-christiansen/issue/377
new cbc30b0 Merge pull request #383 from david-christiansen/issue/378
new 55716e7 Add setting for showing the REPL at Idris startup
new 679102b Merge pull request #384 from david-christiansen/issue/380
new 84fe45e Add support for new Idris command :make-case
new e55f414 Add namespace annotation to source
new 35bce18 Improve reliability of REPL highlighting
new de33e24 Compute a default argument for browse-namespace
new 6ba2ef5 Insert a newline after a proof script
new 6b98275 Merge pull request #392 from
david-christiansen/insert-proof-nl
new 8010084 Merge pull request #391 from
david-christiansen/browse-default
new 6efb10f Merge pull request #390 from
david-christiansen/repl-reliability
new 9696205 Merge pull request #389 from
david-christiansen/browse-menu
new 1ad704a Merge pull request #386 from david-christiansen/make-case
new dbee6bb Add prop-menu for terms
new bed9ffa Merge pull request #393 from
david-christiansen/term-prop-menu
new c75edcb Use annotations for Eldoc instead of compiler
new c2da64c Add Eldoc to README
new cf70429 Merge pull request #395 from
david-christiansen/eldoc-no-compiler
new 52fc9b7 Fix inline evaluation of terms in error messages
new 5c680d9 Add proper indentation to hole viewer
new 66a822a Merge pull request #396 from
david-christiansen/fix-error-eval
new 314a0ba Update CHANGES for release
new 48ec591 Improve name reference commands
new 372e1a1 Merge pull request #397 from
david-christiansen/name-tree-fixes
new 9acbbbc Conditional semantic faces for light/dark backgrounds
new 413b5cc Merge pull request #399 from BartAdv/master
new e19e74f Make ipkg commands use idris-interpreter-path
new 1d34207 Merge pull request #404 from david-christiansen/issue/403
new 4cb0d6f Use the new pkgs field in ipkg files to compute flags
new 51d0aa1 Merge pull request #405 from david-christiansen/pkgs
new e00b8f2 Don't fail when there's no pkgs option
new 797d5b3 Merge pull request #406 from david-christiansen/pkgs
new 387fa92 Define 'idris-repl-clear-buffer'
new a054e2f Merge pull request #414 from alex-segura/master
new afcc855 Check port is number in Idris process filter
new 7574872 Add autoload cookie to idris-repl function
new ad7bf74 Merge pull request #408 from marsam/master
new 214f190 Delete semantic highlights on modification
new f2f0a19 Merge pull request #415 from david-christiansen/issue/411
new ce0d650 Use cl-lib macros instead of the cl ones
new 68c7f99 add keywords from Idris 0.10 and 0.11
new fa52ee3 remove "class" and "instance"
new 356485d Merge pull request #419 from
jeffersoncarpenter/highlight_new_keywords
new b57a3ac Update travis.yml for upstream changes
new 592ac54 Merge pull request #420 from
idris-hackers/attempt-to-fix-travis
new 98e1e7e New custom option - "Stay in current window if compiler
errors are detected."
new dc122c1 Merge pull request #421 from jhegedus42/master
new b4eeb39 Fix void-function error in idris-settings.el
new 683e793 Fix typo in docstring
new 62c7a3c Merge pull request #431 from steshaw/typo-in-docstring
new 7965a00 Merge pull request #429 from drvink/patch-1
new e42794e Give operator chars "." syntax and improve
idris-thing-at-point
new e429d6e Merge pull request #434 from tsdh/master
new fa743b7 Fix byte-compile warning about deprecated feature
new 4c70405 Merge pull request #436 from
syohex/fix-byte-compile-warning
new 6ba3060 When Idris returns no proof search, don't delete the
metavar
new b5e057b Add note about Spacemacs settings
new c0cc1da Disable the Idris event log by default.
new 8150223 Support new presentations of Idris names
new 8a2711e Merge pull request #448 from
david-christiansen/feature/present-names
new 1cadcf4 Fix idris-simple-indent-backtab
new e4347cf Merge pull request #450 from werbitt/backtab
new b929737 Fix hole name regexp in idris-case-dwim
new 7de2809 Merge pull request #454 from
idris-hackers/david-christiansen-patch-1
new e549308 Replace 't' case with '_' to silence warning
new 5c01039 Merge pull request #455 from thumphries/patch-1
new 3c15070 document a way of reducing excessive frames
new 59d6d63 make aesthetic changes to documentation of extra popups
new a6566de fix highlighting for new FC spans
new 3943e2c Merge pull request #467 from msmorgan/fc-fix
new fec1632 Merge pull request #462 from freckletonj/document-popups
new f0f17e3 simplify package handling in Makefile
new 78c1b4a switch CI to use stack
new 730bb86 fix lisp styling
new ee57ccb Merge pull request #469 from abailly/use-stack-in-CI
new 0a5a165 Merge pull request #438 from david-christiansen/issue/428
new 7d3dde5 build emacs 25.3 and run tests against it
new bf869b4 create a matrix build for different emacs versions
new 0a4714d explicit matrix in travis.yml
new 29efc6a Merge pull request #471 from
abailly/build-against-emacs-25.3
new 2e59e36 Require cl, fixing some byte compilation warnings.
new 1be14a2 Set error on warn for byte compilation
new 2b26ee5 ensure .el files are compiled before running tests
new 2206501 Merge pull request #474 from abailly/master
new cc35d12 Merge pull request #445 from david-christiansen/issue/444
new 7fb1337 Highlight documentation comments that come after
non-whitespace characters
new 2cd2ace Merge pull request #477 from
Techowl/fix-doc-comment-highlighting
new 1dba7fc Remove references to idris-event-buffer-name when
idris-log-events is nil.
new 11ce9c2 Merge pull request #485 from jsoo1/fix-tests
new 5e853cd Add emacs 26.1 to travis matrix.
new 0e3508ac Merge pull request #412 from marsam/cl-lib
new 3e5b2a6 Merge pull request #473 from
jeffersoncarpenter/fix-compile-warnings
new df6a71d Update link to pdf documentation
new 3891245 Provide required limit to looking-back (changed in 25.1).
new d30681e Merge pull request #491 from
jsoo1/fix-documentation-pdf-link
new d75e38e Merge pull request #487 from jsoo1/test-emacs-26.1
new 5daed50 Fix travis
new d4d033c Merge pull request #493 from jsoo1/fix-travis
new ca544e0 Allow underscores and dashes in ipkg package names
new da0b1a2 Prevent completion-error when identifier is at beginning
of buffer
new cb6aa30 match only .ipkg extension
new 8ad3708 Test stackage idris
new acc8835 Build in separate step; add images back to build
new 6f52660 Bug-fix issue #402: flag buffer dirty on load-file to
line and forward/backward-line
new 96707ba Merge pull request #503 from
ohad/dirty-buffer-on-load-move-line
new 56b874e Updated CHANGELOG for 1.0 release.
new b77eadd Merge pull request #507 from jfdm/make-release
new 71d6a92 Add proof-search-next command (Idris 2 only) which
replaces the preceeding proof search answer with subsequent ones (if any).
new f2c00bd Remove the optional arguments from proof-search so that
the command works with Idris 2 as well as Idris 1. This works around issue
#509.
new 04bb570 Fix the last character of the response being omitted when
case-splitting or making a case expression from a hole with Idris 2. Fixes
issue #512.
new 5eeb2e6 #508, Navigation fixed
new d79a2bb implement IDE commands generate-def and generate-def-next
new 9f688c7 fix whitespace
new 66d2f0c use buffer-local bindings
new 737f008 Mention added navigation commands
new 35c9bb6 Update loading of files to respect protocol changes.
new e65b8aa Merge pull request #517 from
jfdm/support-ide-protocol-version
new 81d08b0 Merge pull request #515 from faserprodukt/generate-def
new 14ccc5e Merge pull request #514 from andreas-roehler/master
new 762eda0 More compatibility changes with Idris2.
new f5101f5 Merge pull request #518 from
jfdm/more-idris2-compatibility-changes
new 2034c4c Merge branch 'master' into idris2-proof-search-next
new fdcf805 Merge pull request #511 from
scotek/idris2-proof-search-next
new 534a499 Merge pull request #513 from scotek/case-split-issue-512
new 3be33a9 Made case-split behaviour compat with both protocol
versions.
new 11274d8 Merge pull request #519 from jfdm/fix-case-split-compat
new 0717bb9 Updated readme.
new 91df31b Merge pull request #521 from jfdm/readme-updates
new 878414b Ensure generated defs go after the type signature. Fixes
#520
new 80aabd2 Merge pull request #522 from jfdm/fix-generate-def
new a3b46db Fix a broken link (Idris); add another link
(CHANGES.markdown)
new 24f0fca Typeset Emacs keychords & environment variable PATH in
monospace.
new 9649612 Fix a few typos in the README.
new 72eaeeb Merge pull request #523 from yallop/readme
new 9f67915 [ fix from idris2-mode ] Support more literate modes when
deleting ibc.
new 4a759f0 [ improvement ] Ignore Idris2 build dirs.
new d178c42 [ upstream fix from idris2 ] display compiler notes in
the presence of warnings
new ecba5b2 [ upstream fix from idris2-mode ] do not steal focus when
creating buffer
new 3ea96b6 Merge pull request #526 from jfdm/gitignore-improvements
new a833faf Merge pull request #524 from jfdm/literate-ends
new cbe0719 Merge pull request #525 from jfdm/gallais-fixes
new ad8ea21 [ improvement ] first attempt at migrating to github
actions.
new 66994eb Merge pull request #527 from jfdm/migrate-to-actions
new 4bf4cbd added status badge.
new 61b6be5 added checkout so that we actually build the thing we
need to test
new 215fc32 Merge pull request #528 from jfdm/add-status-badge
new f52ad0b Update readme.markdown
new a0fb163 Don't reference idris2-mode function 'idris2-buffer-name'
new 35c480b Don't reference idris2 variable
'idris2-buffer-to-return-to-from-info-buffer'
new 3c0c354 Merge pull request #529 from trillioneyes/master
new 71f70e1 [ ci ] Fixed github workflow
new cc7c0ae [ fix ] do not overwrite EMACS if it is set by the caller
new fdbf423 [ fix ] also pass EMACS to build step
new 21ff7b0 [ fix ] attempting to install openssl
new 1d22555 [ tmp ] comment out Idris1 install until we fix the emacs
issue
new be8235d [ debug ] add debug on error
new 5984e76 [ fix ] use existing emacs action
new 7caa90b [ undo tmp ] reinstate idris building
new d96e40d Merge pull request #531 from jfdm/fix-ci-workflow
new 7d192f8 [ ci ] introduce actions for testing idris2
new 20d723c [ ci ] admin
new ee5a6e5 idris2 history should reside in ~/.idris2 instead of
~/.idris
new d7cf220 Introduce initial test for idris2.
new 780b930 Test utility function and some test cases
new 8f54b46 Macro for command-action `
new 74731b5 Dump event buffer to file for debug batch job
new 12287d7 Regexp for avoiding idris warning changed
new ce51c3f Add test3 for idris2 command action test
new b571cdb Remove idriis-dump-events-to-file
new 48f09ba Merge pull request #533 from jfdm/add-idris2-action
new f5c32ce Resolve conflict.
new 8b195f4 Comment out idris-test2-proof-search test.
new 8145ce8 Add make test3 in CI.
new 4973118 Drop emacs 24.5 and add 27.2
new 12caf48 [ ci ] added documentation and caching
new d3a9762 [ ci caching ]
new a8daa39 Bye 26.1, and hi 26.3
new ac38f12 [ ci ] force serialisation to utilise caching
new 5f21db4 [ ci ] Removed serialisation attempts
new 4e01d78 Merge pull request #536 from jfdm/ci-caching-idris1
new 1d3e736 [ admin ] Added contributors and contributing guides.
new abc87c3 [ gitignore ] make sure ibcs are not versioned.
new 080dd17 Merge pull request #538 from jfdm/admin
new af96800 Merge pull request #537 from ywata/add-idris2-tests-merge
new 8782e67 [ contributor ] Thanks @ywata for the contribution!
new e2fb5d1 [ admin ] update the CHANGELOG.
new be57882 [ admin ] remove IBCs
new 6725fca [ admin ] resolve references to new master branch name.
new 3cc9361 Merge pull request #540 from jfdm/change-master-to-main
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] branch elpa/idris-mode created (now 3cc9361),
ELPA Syncer <=