9 results (0.21 seconds) 

Did you mean: "Pretty Lambda"

     Custom Search
  1. PrettyLambda
    Mar 18, 2015 ... Using Character Composition. Library pretty-lambdada.el defines commands,
    including minor modes (local and global), that let you do this, ...

  2. EmacsWiki: pretty-mode.el
    Mar 31, 2013 ... ... See also http://www.emacswiki.org/cgi-bin/wiki/PrettyLambda ;; ;; Released
    under the GPL. No implied warranties, etc. Use at your own risk. ; ...

  3. EmacsWiki: Pretty Greek
    Oct 15, 2010 ... This is BenignoUria generalization of PrettyLambda. It displays Greek letters in
    place of the names of Greek letters. Very nice if you use such ...

  4. EmacsWiki: ewb.el
    Aug 24, 2013 ... PrettyLambda to piggy-back ;; onto font-lock. ;; Can now view local files, but
    cannot follow local links ;; killing stale ewb-connection when ...

  5. EmacsWiki: Pretty Symbol
    Oct 21, 2014 ... Available on MELPA · PrettyLambda – Show lambda as the Greek letter.
    PrettyGreek – Generalization of PrettyLambda for other Greek letters.

  6. EmacsWiki: Un Paren Mode
    Mar 28, 2009 ... For a similar hack changing the string “lambda” to a real lambda, see
    PrettyLambda. For yet another similar hack that makes the parens less ...

  7. EmacsWiki: Category Humor
    Oct 3, 2014 ... ... Emacs and XEmacs incompatibilities and how to deal with them;
    MadeWithSecretAlienTechnology · PrettyLambda – translate “lambda” to “λ” ...

  8. EmacsWiki: Catégorie Outils Du Programmeur
    9 mai 2007 ... PrettyLambda (en) – un moyen pour utiliser le charactère lambda dans un mode
    pour scheme. This page is also available in english : English: ...

  9. EmacsWiki: Nxhtml Old Bugs
    I had this problem when I had a ruby-mode hook enable PrettyLambda when
    ruby-mode was turned on. Disabling pretty lambda made the problem go away.


Did you mean to search for: "Pretty Lambda"

In order to show you the most relevant results, we have omitted some entries very similar to the 9 already displayed.
If you like, you can repeat the search with the omitted results included.


Search Tips

©2013 Google