yi-devel  

Messages by Date

• 2009/06/17 patch applied (yi): Mode/Haskell.hs: Some improvements of the indentation Anders Karlsson
• 2009/06/17 patch applied (yi): Syntax/Haskell.hs: Removed unnecessary code Anders Karlsson
• 2009/06/17 patch applied (yi): Syntax/Haskell.hs: PGuard now use [Expr t] instead of (Expr t) Anders Karlsson
• 2009/06/17 patch applied (yi): Syntax/Haskell.hs: Changed the Paren dataconstructor Anders Karlsson
• 2009/06/17 patch applied (yi): Syntax/Haskell.hs: Removed an occurence of Expr <$> pure [] Anders Karlsson
• 2009/06/17 patch applied (yi): Syntax/Haskell.hs: Improved the pSepBy function, this should increase the speed of the parser Anders Karlsson
• 2009/06/17 patch applied (yi): Syntax/Haskell.hs: Renamed several functions Anders Karlsson
• 2009/06/16 patch applied (yi): Syntax/Haskell.hs:Fixed a bugg in the precise parser that made yi crash Anders Karlsson
• 2009/06/12 Re: Profiling with Pango Jean-Philippe Bernardy
• 2009/06/12 Profiling with Pango Jeff Wheeler
• 2009/06/12 Re: Issue 185 in yi-editor: Tabs not supported in GTK or other non-Vty UIs Jean-Philippe Bernardy
• 2009/06/12 Re: Issue 185 in yi-editor: Tabs not supported in GTK or other non-Vty UIs Jeff Wheeler
• 2009/06/12 Re: Issue 185 in yi-editor: Tabs not supported in GTK or other non-Vty UIs Colin McQuillan
• 2009/06/12 patch applied (yi): Syntax/Haskell.hs: Changed the typesignatures of several functions and fixed a small bugg Anders Karlsson
• 2009/06/12 Re: Issue 185 in yi-editor: Tabs not supported in GTK or other non-Vty UIs Jean-Philippe Bernardy
• 2009/06/12 patch applied (yi): Syntax/Haskell.hs: Removed several functions and improved the code quality Anders Karlsson
• 2009/06/12 patch applied (yi): yi.cabal: removed the syb requirement Anders Karlsson
• 2009/06/12 patch applied (yi): Syntax/Haskell.hs: The PAtom dataconstructor is more used (which should simplify the code) Anders Karlsson
• 2009/06/12 patch applied (yi): Haskell/Dollarify.hs: removed some compilation warnings Anders Karlsson
• 2009/06/12 patch applied (yi): Syntax/Haskell.hs: Removed the usage of syb Anders Karlsson
• 2009/06/12 Re: patch applied (yi): Use smarter indentation in Vim Jeff Wheeler
• 2009/06/12 Issue 185 in yi-editor: Tabs not supported in GTK or other non-Vty UIs codesite-noreply
• 2009/06/12 patch applied (yi): Finish support for tabs Jeff Wheeler
• 2009/06/12 Re: patch applied (yi): Use smarter indentation in Vim Nicolas Pouillard
• 2009/06/12 patch applied (yi): Rollback: Use smarter indentation in Vim Nicolas Pouillard
• 2009/06/11 patch applied (yi): Yet more progress on tabs (we're getting there) Jeff Wheeler
• 2009/06/11 patch applied (yi): More progress on Pango tabs; Pango now launches correctly! Jeff Wheeler
• 2009/06/11 patch applied (yi): Fix primary problem in previously broken tabs support (doLayout was completely broken) Jeff Wheeler
• 2009/06/11 patch applied (yi): Syntax/Haskell.hs: Improved the code quality a bit Anders Karlsson
• 2009/06/11 Re: patch applied (yi): Syntax/Haskell.hs: Removed all stroke functions Deniz Dogan
• 2009/06/11 patch applied (yi): Syntax/Haskell.hs: Removed all stroke functions Anders Karlsson
• 2009/06/11 patch applied (yi): Syntax/Strokes/Haskell.hs: Added a folder to put the getStrokes functions in for the different modes Anders Karlsson
• 2009/06/11 patch applied (yi): Mode/Haskell.hs: Added the new getStrokes for precise mode Anders Karlsson
• 2009/06/11 patch applied (yi): Use smarter indentation in Vim Jeff Wheeler
• 2009/06/11 patch applied (yi): Some more experimental work towards tabs in Pango Jeff Wheeler
• 2009/06/10 patch applied (yi): continue tweaking the indenter Jean-Philippe Bernardy
• 2009/06/10 patch applied (yi): Syntax/Haskell.hs: The precise mode now parse instance and class correctly Anders Karlsson
• 2009/06/10 patch applied (yi): Lexer/Haskell.x: The lexer is a bit more precise Anders Karlsson
• 2009/06/09 patch applied (yi): Abella: setup marks for proof point (p) and theorem point (t) Nicolas Pouillard
• 2009/06/08 patch applied (yi): tokenToAnnot: shorten the definition. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Abella: enable to repeat commands with '.' in Vim. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Vim: generalize command saving to YiM actions instead of Editor. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Yi.Char.Unicode: add checkAmbs. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Syntax.Tree: shorten some definitions. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Haskell,syntax: remove useless case. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Ertai: more haskell modes. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Ertai: switch from '|' to '\' as leading char for my bindings. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Modes: add the removeAnnots function. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Haskell,lexer: s/=-/== Nicolas Pouillard
• 2009/06/08 patch applied (yi): Syntax/Haskell.hs: Minor cleanup Anders Karlsson
• 2009/06/08 patch applied (yi): Keys: add ?*>> and ?*>>! for event lists. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Vim: add <count> support for some commands (gt,gT,CTRL-T...) Nicolas Pouillard
• 2009/06/08 patch applied (yi): Add a mode and lexer for the Abella theorem prover Nicolas Pouillard
• 2009/06/08 patch applied (yi): Ott: more ott keywords. Nicolas Pouillard
• 2009/06/08 patch applied (yi): Ertai: turns off my config when --as=... is given. Nicolas Pouillard
• 2009/06/06 patch applied (yi): yet more indentation work Jean-Philippe Bernardy
• 2009/06/06 patch applied (yi): more indentation improvements Jean-Philippe Bernardy
• 2009/06/05 patch applied (yi): Ertai: Improve my config. Nicolas Pouillard
• 2009/06/05 patch applied (yi): haskell: indent: in rhs, we may want to align with parents. Jean-Philippe Bernardy
• 2009/06/04 patch applied (yi): Mode/Haskell.hs: fix build error Anders Karlsson
• 2009/06/04 patch applied (yi): Syntax/Haskell.hs: The precise mode is now a bit more precise Anders Karlsson
• 2009/06/04 patch applied (yi): Syntax/Haskell.hs: Fixed (in some way) the let/in problem Anders Karlsson
• 2009/06/04 patch applied (yi): Add proper rule for parsing in after let block Anders Karlsson
• 2009/06/04 patch applied (yi): Syntax/Haskell.hs: Allow comments after where fix Anders Karlsson
• 2009/06/03 Re: precise haskell mode Nicolas Pouillard
• 2009/06/03 patch applied (yi): Syntax/Haskell.hs: Small fix to get dollarify working with precise mode Anders Karlsson
• 2009/06/03 patch applied (yi): Dollarify.hs: Added dollarifyP function that can be used with the precise haskell mode Anders Karlsson
• 2009/06/03 precise haskell mode Jean-Philippe Bernardy
• 2009/06/02 patch applied (yi): jp: config: make precise mode default, apply hooks. Jean-Philippe Bernardy
• 2009/06/02 patch applied (yi): Syntax/Haskell.hs: Fixed so Program is an instance of SubTree Anders Karlsson
• 2009/06/02 Re: patch: improved ghci type inference (+ one more) Anders Karlsson
• 2009/06/02 patch applied (yi): Improved ghciInferType Anders Karlsson
• 2009/06/02 patch applied (yi): Make sure we're at the bottom when querying Anders Karlsson
• 2009/06/02 patch applied (yi): Syntax/Haskell.hs: small buggfix Anders Karlsson
• 2009/06/02 patch applied (yi): Syntax/Haskell.hs: Cleanup and fixed so that imported types and data constructors are highlighted correctly Anders Karlsson
• 2009/06/02 patch applied (yi): Syntax/Haskell.hs: Fix data A = B | at end of file bugg Anders Karlsson
• 2009/06/01 Re: Arguments to modeGetStrokes Jean-Philippe Bernardy
• 2009/06/01 Arguments to modeGetStrokes Deniz Dogan
• 2009/06/01 patch applied (yi): jp: config updates Jean-Philippe Bernardy
• 2009/06/01 patch applied (yi): unicode: equiv. is == Jean-Philippe Bernardy
• 2009/06/01 patch applied (yi): add ghciInferType Jean-Philippe Bernardy
• 2009/06/01 Re: patch applied (yi): Syntax/Haskell.hs: qualified and hiding are now as should be variableid, and are colored as variables when used as such Jean-Philippe Bernardy
• 2009/06/01 patch applied (yi): Adding modePrintTree. Deniz Dogan
• 2009/06/01 Re: Tracing the resulting AST without stroking Jean-Philippe Bernardy
• 2009/06/01 Tracing the resulting AST without stroking Deniz Dogan
• 2009/06/01 patch applied (yi): Syntax/Haskell.hs: qualified and hiding are now as should be variableid, and are colored as variables when used as such Anders Karlsson
• 2009/06/01 patch applied (yi): Syntax/Haskell.hs: Yi freezed when a let/in had wrong layout, with this temporary fix it wont Anders Karlsson
• 2009/06/01 patch applied (yi): Add helper functions to interact with ghci Jean-Philippe Bernardy
• 2009/05/31 patch applied (yi): Move extra ghc flags into HConf parameter Jeff Wheeler
• 2009/05/31 patch applied (yi): Mode/Haskell.hs: Improved the indentation for the precise haskell mode Anders Karlsson
• 2009/05/31 patch applied (yi): Syntax/Haskell.hs: Fixed so that where keyword is parsed everywhere Anders Karlsson
• 2009/05/31 patch applied (yi): Yi/Haskell.hs: Small bugg fixes Anders Karlsson
• 2009/05/30 patch applied (yi): Dollarify: Fix (f ((a b))) bug Jean-Philippe Bernardy
• 2009/05/30 patch applied (yi): Dollarify: More debugging Jean-Philippe Bernardy
• 2009/05/30 patch applied (yi): Use Data.Function.on instead of hand-rolled function "both" Jean-Philippe Bernardy
• 2009/05/29 Re: Fix builderror Deniz Dogan
• 2009/05/29 patch applied (yi): Syntax/Haskell.hs: My last patch was not possible to compile, this will fix the problem Deniz Dogan
• 2009/05/29 patch applied (yi): Syntax/Haskell.hs: Fix of dataconstructors, typeconstructors etc. Anders Karlsson
• 2009/05/29 patch applied (yi): Syntax/Layout.hs: Added comment about strange behaviour Anders Karlsson
• 2009/05/29 patch applied (yi): Yi/Style.hs: Added a special style for imports Anders Karlsson
• 2009/05/29 patch applied (yi): Dollarify: The patch yesterday made it more broken Anders Karlsson
• 2009/05/28 Re: darcs patch: Some more experimental work towards tabs in Pango Jeff Wheeler
• 2009/05/28 patch applied (yi): Dollarify.hs: Fixed an bugg when removing several parenthesis expressions Anders Karlsson
• 2009/05/28 Issue 273 in yi-editor: Tuples should not be dollarised codesite-noreply
• 2009/05/28 patch applied (yi): Dollarify.hs: Fixed the bugg when dollarify dollarified tuples. Anders Karlsson
• 2009/05/27 Re: darcs patch: Some more experimental work towards tabs in Pango Jean-Philippe Bernardy
• 2009/05/27 patch applied (yi): -Wall Jeff Wheeler
• 2009/05/27 Issue 273 in yi-editor: Tuples should not be dollarised codesite-noreply
• 2009/05/27 Issue 273 in yi-editor: Tuples should not be dollarised codesite-noreply
• 2009/05/26 patch applied (yi): updated HCAR entry by Janis V. Jean-Philippe Bernardy
• 2009/05/26 patch applied (yi): Mode/Haskell.hs: Big improvements of the indentation when using the experimental mode Anders Karlsson
• 2009/05/25 patch applied (yi): Dollarify: Fix GHC warnings Jean-Philippe Bernardy
• 2009/05/25 patch applied (yi): dollarifyExpr: fix accidental aliasing Jean-Philippe Bernardy
• 2009/05/25 Re: Contribution to "dollarify" code (replace "f (g x)" with "f $ g x" where appropriate) Jean-Philippe Bernardy
• 2009/05/25 patch applied (yi): JS: Adding regular expression syntax. Deniz Dogan
• 2009/05/25 patch applied (yi): Adding regexStyle. Deniz Dogan
• 2009/05/25 patch applied (yi): JS: Don't load JavaScript mode on "json" files. Deniz Dogan
• 2009/05/25 patch applied (yi): Syntax/Haskell.hs: small buggfix Anders Karlsson
• 2009/05/25 Re: Contribution to "dollarify" code (replace "f (g x)" with "f $ g x" where appropriate) gree...@greenrd.org
• 2009/05/25 patch applied (yi): JS: Indentation work. Deniz Dogan
• 2009/05/25 patch applied (yi): Exporting traceM and traceM_. Deniz Dogan
• 2009/05/25 patch applied (yi): Only use -fgnome when -fpango Jeff Wheeler
• 2009/05/25 patch applied (yi): Adding traceM and traceM_ to Yi.Debug. Deniz Dogan
• 2009/05/25 patch applied (yi): Adding newlineAndIndentB and making C-j in Emacs bind to that. Deniz Dogan
• 2009/05/25 Re: Contribution to "dollarify" code (replace "f (g x)" with "f $ g x" where appropriate) Deniz Dogan
• 2009/05/25 patch applied (yi): add the Dollarify transform Jean-Philippe Bernardy
• 2009/05/25 patch applied (yi): Deriving (Eq, Show) for IndentBehaviour. Deniz Dogan
• 2009/05/25 Re: Contribution to "dollarify" code (replace "f (g x)" with "f $ g x" where appropriate) Jean-Philippe Bernardy
• 2009/05/25 Re: Contribution to "dollarify" code (replace "f (g x)" with "f $ g x" where appropriate) Deniz Dogan
• 2009/05/25 Contribution to "dollarify" code (replace "f (g x)" with "f $ g x" where appropriate) gree...@greenrd.org
• 2009/05/25 patch applied (yi): Syntax/Haskell.hs: some cleanup and fix of bug that made yi crash when experimental mode is used Anders Karlsson
• 2009/05/25 patch applied (yi): Syntax/Haskell.hs: The precise parser now sets the style a bit more precise Anders Karlsson
• 2009/05/24 patch applied (yi): JS: Constructor name changes. Deniz Dogan
• 2009/05/24 patch applied (yi): JS: Fixing silly code. Deniz Dogan
• 2009/05/24 patch applied (yi): JS: Adding basic indentation support. Deniz Dogan
• 2009/05/24 patch applied (yi): JS: Removing unnecessary boilerplate. Deniz Dogan
• 2009/05/24 patch applied (yi): Restore the (unused) scheduleRefresh code Colin McQuillan
• 2009/05/24 patch applied (yi): cmcq user config. Includes test for Issue 265: Slow pasting. Colin McQuillan
• 2009/05/24 Re: patch applied (yi): Separate layout and rendering code Jean-Philippe Bernardy
• 2009/05/24 patch applied (yi): JS: Integrating the verifier with Yi. Deniz Dogan
• 2009/05/24 patch applied (yi): JS: Lexer comments fix. Deniz Dogan
• 2009/05/24 patch applied (yi): Separate layout and rendering code Colin McQuillan
• 2009/05/24 patch applied (yi): ParserTest/ParserTest.hs: Cleanup Anders Karlsson
• 2009/05/24 patch applied (yi): Move common function computeHeights into Yi.UI.Utils Colin McQuillan
• 2009/05/24 patch applied (yi): Syntax/Haskell.hs: Cleanup Anders Karlsson
• 2009/05/24 patch applied (yi): Move Pango window cache update into a new function Colin McQuillan
• 2009/05/24 patch applied (yi): Syntax/Haskell.hs: Added functions so that the parser now parse all rhs of functions Anders Karlsson
• 2009/05/24 patch applied (yi): Syntax/Haskell.hs: Cleanup Anders Karlsson
• 2009/05/23 patch applied (yi): Very early bits towards tab support in Pango Jeff Wheeler
• 2009/05/23 patch applied (yi): Cleanup and -Wall Jeff Wheeler
• 2009/05/23 patch applied (yi): Always show the errors buffer if it exists, splitting to show other file if necessary Jeff Wheeler
• 2009/05/23 patch applied (yi): Add Yi.Verifier.JavaScript to yi.cabal Jeff Wheeler
• 2009/05/23 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Colin McQuillan
• 2009/05/22 patch applied (yi): show the updated editor state on resize Jean-Philippe Bernardy
• 2009/05/22 Re: patch applied (yi): JS: Adding verifier prototype. Called with C-c C-l. Deniz Dogan
• 2009/05/22 patch applied (yi): JS: Adding verifier prototype. Called with C-c C-l. Deniz Dogan
• 2009/05/22 Re: patch applied (yi): The initial refresh was showing *console* Deniz Dogan
• 2009/05/22 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Corey O'Connor
• 2009/05/22 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Corey O'Connor
• 2009/05/22 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Colin McQuillan
• 2009/05/22 Issue 272 in yi-editor: Symlinks handled incorrectly codesite-noreply
• 2009/05/22 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Corey O'Connor
• 2009/05/22 patch applied (yi): Syntax/Haskell.hs: fixed an bugg in the precise haskell parser Anders Karlsson
• 2009/05/21 Re: patch applied (yi): The initial refresh was showing *console* Jean-Philippe Bernardy
• 2009/05/21 patch applied (yi): The initial refresh was showing *console* Colin McQuillan
• 2009/05/21 patch applied (yi): * Syntax/Haskell.hs: The parser is a bit improved Anders Karlsson
• 2009/05/21 patch applied (yi): Lexer/Haskell.x: Made the parser a bit more precise in order to be able to parse class Anders Karlsson
• 2009/05/20 Issue 187 in yi-editor: Double-length unicode characters can mess the display codesite-noreply
• 2009/05/20 Issue 271 in yi-editor: error: yi-i386-linux: Prelude.chr: bad argument codesite-noreply
• 2009/05/20 Issue 271 in yi-editor: error: yi-i386-linux: Prelude.chr: bad argument codesite-noreply
• 2009/05/20 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Colin McQuillan
• 2009/05/20 patch applied (yi): tiny cleanups Jean-Philippe Bernardy
• 2009/05/20 patch applied (yi): fix the pg up/down bug Jean-Philippe Bernardy
• 2009/05/19 Issue 187 in yi-editor: Double-length unicode characters can mess the display codesite-noreply
• 2009/05/19 patch applied (yi): updating issue 187 test text to have proper utf-8 Corey O'Connor
• 2009/05/19 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Nicolas Pouillard
• 2009/05/19 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Jean-Philippe Bernardy
• 2009/05/19 Re: Getting the AST from the JavaScript source Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): MiniBuffer.hs: typo fix Deniz Dogan
• 2009/05/19 patch applied (yi): JS: Minor cleanup. Deniz Dogan
• 2009/05/19 Getting the AST from the JavaScript source Deniz Dogan
• 2009/05/19 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Corey O'Connor
• 2009/05/19 Re: patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): revert to a synchronous logic for refreshing Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): Wall Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): put preciseMode in the list of available modes Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): typo Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): some more unicode Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): latex: use BList Jean-Philippe Bernardy
• 2009/05/19 patch applied (yi): revert scrollB Jean-Philippe Bernardy
• 2009/05/18 patch applied (yi): Also support control-W, control-W for next window in Vim keymap Corey O'Connor
• 2009/05/18 patch applied (yi): Fixes scrolling when > 1 window views the same buffer in the current tab Corey O'Connor
• 2009/05/18 patch applied (yi): JS: Speeding up parsing. Deniz Dogan
• 2009/05/18 patch applied (yi): Syntax/Haskell.hs: Fixed some small errors and improved the parse speed Anders Karlsson
• 2009/05/18 patch applied (yi): Lexer/Haskell.x: Corrected a previous patch to make the lexer a bit more precise Anders Karlsson
• 2009/05/18 Issue 271 in yi-editor: error: yi-i386-linux: Prelude.chr: bad argument codesite-noreply
• 2009/05/18 Issue 271 in yi-editor: error: yi-i386-linux: Prelude.chr: bad argument codesite-noreply
• 2009/05/18 Re: Issue 271 in yi-editor: error: yi-i386-linux: Prelude.chr: bad argument Colin McQuillan
• 2009/05/18 Issue 271 in yi-editor: error: yi-i386-linux: Prelude.chr: bad argument codesite-noreply
• 2009/05/18 Issue 272 in yi-editor: Dangling symlinks handled incorrectly codesite-noreply

• Earlier messages
• Later messages