Nice. How old is emacs btw? from iPhone
On Nov 2, 2013, at 18:05, Tony Mechelynck <antoine.mechely...@gmail.com> wrote: > Happy Birthday To You! > Happy Birthday To You! > Happy Birthday dear Vi-im! > Happy Birthday To You! > > and Many Happy Returns of the Day! > > Vim is 12 years old today: its first public release (Vim 1.14 for the Amiga) > happened on 2 November 1991 on Fish disk #591. > > > Best regards, > Tony. > -- > "As soon as you are willing to discard observational data because it conflicts > with religion, you are giving up any hope of ever really understanding the > universe. As soon as you pick religion as the touchstone of reality, then we > have to start discussing how one can demonstrate the correctness of one > religion over another when different *religions* disagree." > --Wilson Heydt (whhe...@pacbell.com) > > "The answer is simple: kill the heretics. History shows us that > this is the actual solution that competing religions apply -- trial > by combat or trial by ordeal. God is the final arbiter. What a sad > waste of human potential it has proven to be." > [Paul Hager (hag...@iuvax.cs.indiana.edu)] > > -- > -- > You received this message from the "vim_use" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- You received this message because you are subscribed to the Google Groups > "vim_use" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to vim_use+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. -- -- You received this message from the "vim_use" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_use" group. To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.