Andreas Röhler
Andreas Röhler
May an example which triggers the bug be provided? As for the functionality requested: Melpa delivers packages simple-paren and syntactic-close.
[Moved to #11]
A generic solution from here might be saying: EO takes action only if no whitespace is before.
*mypointer = 20; works for me. ++(*current); fails. Might a dereference be signaled in the midst of a [a-z]string?
Think this regexp might be changed to: space operator only if not at BOL and require being after alphanumeric and underscore (i.e. permitted symbol-character): Result: #s(electric-operator-compiled-rule :operator "*" :regex "\\([...
On 06.01.2015 12:05, Anton Johansson wrote: > Please add more conditions if needed. > > --- > > Reply to this email directly or view it on GitHub: > https://github.com/antonj/Highlight-Indentation-for-Emacs/issues/13#issuecomment-68852846...
Hi, I'm volunteering for this part. Please assign me if interested.
Am 06.07.20 um 16:34 schrieb Pierre Courtieu: > Thanks, please proceed! > That said the adaptability of PG to new provers is not our priority > currently. We rather would...
Can't see why Isabelle should not work from Emacs. Should be worth looking into again. https://isabelle.in.tum.de/Isar/ still writes: Together with the Isabelle/Isar instantiation of Proof General, a generic (X)Emacs interface...
Fine for me too, let's stay tuned.