9e643379c92eff0b7309080d2257ec1c75006be1 Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/db2a117ce3199dc1ec15fffd3ab3fd27813be4a1 db2a117ce3199dc1ec15fffd3ab3fd27813be4a1

2009-12-22T12:19:08-08:00

Add missing quotes. bce04d2577f0558042118777eefd50ab409e454d Martin Kuehl martin.kuehl@gmail.com 9e9e53386780706698e64f49aff5fe6945130e88 Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/9e643379c92eff0b7309080d2257ec1c75006be1 9e643379c92eff0b7309080d2257ec1c75006be1

2009-03-17T12:13:11-07:00

• Fix parsing of messages without a file/stream name. 15beab08300f483b1a0bf926ac3942485a728f25 Martin Kuehl martin.kuehl@gmail.com dc245c6c9690d1fa09c9abcb25ee3ea2fe18f141 Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/9e9e53386780706698e64f49aff5fe6945130e88 9e9e53386780706698e64f49aff5fe6945130e88

2009-03-17T11:43:58-07:00

• Add more synonyms. 6d3198e9663ca6a27b184ab925f6f3be498a2c34 Martin Kuehl martin.kuehl@gmail.com 7f53b7ffa92897e1a9728a371fc2265ffda3ce37 Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/dc245c6c9690d1fa09c9abcb25ee3ea2fe18f141 dc245c6c9690d1fa09c9abcb25ee3ea2fe18f141

2009-03-17T11:27:22-07:00

• Restrict nested parens/brackets to cases where the open bracket is not escaped. bc0f39fecc6c719acaa1f5cfe39059ceaff5d0ff Martin Kuehl martin.kuehl@gmail.com 123f63b6f7d07ba712ab1b585bb0bb7e13bd41a1 Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/7f53b7ffa92897e1a9728a371fc2265ffda3ce37 7f53b7ffa92897e1a9728a371fc2265ffda3ce37

2009-03-17T11:20:13-07:00

• Restrict comments to not start in the middle of a word. be864308c77737c7d0ca4c08330bb916668a0a6e Martin Kuehl martin.kuehl@gmail.com ed6699aff07275afabc967674f2dd5ce1a6df7c9 Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/123f63b6f7d07ba712ab1b585bb0bb7e13bd41a1 123f63b6f7d07ba712ab1b585bb0bb7e13bd41a1

2009-03-17T11:14:33-07:00

• Make whitespace-lookaheads in end-patterns more lenient. 4f77126b9848aa6995cc23c458110678a142ebc3 Martin Kuehl martin.kuehl@gmail.com e74692bcaeb8606817aff89da5a9ff3a98aa36cc Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/ed6699aff07275afabc967674f2dd5ce1a6df7c9 ed6699aff07275afabc967674f2dd5ce1a6df7c9

2009-03-17T11:09:53-07:00

• Make operator name matching in op renamings more fine-grained. c18539e66adc7d7c778fce92661bfbeba95b672f Martin Kuehl martin.kuehl@gmail.com 1890d00f8ab9382efc339fe8b41734e96b0c01bd Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/e74692bcaeb8606817aff89da5a9ff3a98aa36cc e74692bcaeb8606817aff89da5a9ff3a98aa36cc

2009-03-17T10:37:22-07:00

• Highlight parens and brackets. 87187dd0bb4bd6fb6a52e8b5d938ab70e9a31b91 Martin Kuehl martin.kuehl@gmail.com c32a254d23e6fc7418d3c646dd590b1404bd3c8b Martin Kuehl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/1890d00f8ab9382efc339fe8b41734e96b0c01bd 1890d00f8ab9382efc339fe8b41734e96b0c01bd

2009-03-17T10:22:43-07:00

• Make `set` command matching more lenient. c0dca8aa3ad47ef54a3e324972e9c70c7fff4856 Martin Kuehl martin.kuehl@gmail.com 818fd0bfca9ba49c9fd0cad488291c8a48974872 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/c32a254d23e6fc7418d3c646dd590b1404bd3c8b c32a254d23e6fc7418d3c646dd590b1404bd3c8b

2008-02-21T05:41:49-08:00

* Make grammar more robust w.r.t. nesting parens/brackets. 919f832f6ad5d603c8f323949e95511743ca91dd Martin Kühl martin.kuehl@gmail.com c42365f763b5db91e86f0f5344fc7870452fd298 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/818fd0bfca9ba49c9fd0cad488291c8a48974872 818fd0bfca9ba49c9fd0cad488291c8a48974872

2008-02-21T05:15:17-08:00

* Highlight numbers with <em>. Blue doesn't work on a dark background. febd620da07e66c38b8df0049cfb0ffeab59f84b Martin Kühl martin.kuehl@gmail.com e1baf3b25da6c02d9235f32e577cf5f7ce5101ab Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/c42365f763b5db91e86f0f5344fc7870452fd298 c42365f763b5db91e86f0f5344fc7870452fd298

2008-02-21T05:08:08-08:00

* Highlight just the (system) command, not its arguments. e043311210b71766496333990fc7bcc210ebf725 Martin Kühl martin.kuehl@gmail.com 24159cfbfb5e59f635a158afe12f213eeea99f9c Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/e1baf3b25da6c02d9235f32e577cf5f7ce5101ab e1baf3b25da6c02d9235f32e577cf5f7ce5101ab

2008-02-21T05:06:44-08:00

* Revert "Load in Terminal" command to r17: MAUDE_LIB always contains PWD. fae02c8e294325c83c05ed1e0a403b2960a9d36e Martin Kühl martin.kuehl@gmail.com 3b8d143f4d33c3c67324db717c43ec59590b682f Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/24159cfbfb5e59f635a158afe12f213eeea99f9c 24159cfbfb5e59f635a158afe12f213eeea99f9c

2008-02-21T05:02:57-08:00

* Before running Maude, add TM_DIRECTORY to MAUDE_LIB. 210e3391f579ef18b0c1b6ecc371ff7bbca407bb Martin Kühl martin.kuehl@gmail.com 166e9d02e6eb950f717f2591db1f8668a2450d67 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/3b8d143f4d33c3c67324db717c43ec59590b682f 3b8d143f4d33c3c67324db717c43ec59590b682f

2008-02-21T04:41:02-08:00

* Revert "Execute…" command to use ⌃⇧E as the shortcut. f15116ddf89fa7a7e1651beac2a9a45bdb9c659c Martin Kühl martin.kuehl@gmail.com 91e5f56645a2752214a4cb922a7985b5ab02e2ee Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/166e9d02e6eb950f717f2591db1f8668a2450d67 166e9d02e6eb950f717f2591db1f8668a2450d67

2008-02-21T04:39:25-08:00

* System commands end on EOL, parse them like they do. * The Grammar doesn't support Full Maude, don't register for .fm files. cea1b461adb2338bfbf3c13462d0e5cd3b27b323 Martin Kühl martin.kuehl@gmail.com 7ab9939bb169b51e7ec6cbd329fa0a9433b5e36f Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/91e5f56645a2752214a4cb922a7985b5ab02e2ee 91e5f56645a2752214a4cb922a7985b5ab02e2ee

2008-02-19T07:37:39-08:00

* Change "Execute Line" shortcut to not clash with "Execute Line as Ruby". a170a810b88dccd14e885a4ecd5b68768d66c6ff Martin Kühl martin.kuehl@gmail.com 940eeb788077a68dfe5c669b1b825d4be99ca5be Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/7ab9939bb169b51e7ec6cbd329fa0a9433b5e36f 7ab9939bb169b51e7ec6cbd329fa0a9433b5e36f

2008-02-19T07:14:23-08:00

* Rename declaration and statement snippets. * Add Snippets/Commands for Mappings and Renamings. * Add Commands for adding Renamings, Attributes and Conditions. * Organize new Commands and Snippets. 5d6192b062b7fb4348776653584d6178b635a8d8 Martin Kühl martin.kuehl@gmail.com 581fd97f824ad37d513cd43a00d168c204f72dce Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/940eeb788077a68dfe5c669b1b825d4be99ca5be 940eeb788077a68dfe5c669b1b825d4be99ca5be

2008-02-19T07:11:48-08:00

* Add Syntax for maude commands * Rename storage.* to support.* where appropriate. 873eb8b395ea6555f8810ca7869420ffb9866aea Martin Kühl martin.kuehl@gmail.com 6df4c36e262f51965c40d686419d4bfe71caf18d Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/581fd97f824ad37d513cd43a00d168c204f72dce 581fd97f824ad37d513cd43a00d168c204f72dce

2008-02-19T07:09:43-08:00

* Remove indentNextLine pattern. It would match system commands, which shouldn't indent. Also, it didn't work very well. 484af712568913ff18ba00b281245c9aa7fba2e5 Martin Kühl martin.kuehl@gmail.com e628c7d01507f9ed70ef57f5895db09f10ff6c11 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/6df4c36e262f51965c40d686419d4bfe71caf18d 6df4c36e262f51965c40d686419d4bfe71caf18d

2008-02-17T05:05:55-08:00

Disable the translation of arrows in Maude output to fancy symbols. The fancy symbols aren't valid Maude code, so I shouldn't pretend they were. b638150fb9d2894e39d6e6aa4324ec84cddfb581 Martin Kühl martin.kuehl@gmail.com d34abd97fe0d0a94856ef8845a4df97c37d1ca07 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/e628c7d01507f9ed70ef57f5895db09f10ff6c11 e628c7d01507f9ed70ef57f5895db09f10ff6c11

2008-02-17T04:14:34-08:00

* Add mk_scriptmate, a blatant rip-off of the original scriptmate. Unfortunately, Maude doesn't play nice with it's assumptions, so there. * Update the MaudeMate runner to -not- pass ARGV to MaudeMate and pass it as commands to the runtime. * Significantly update MaudeMate to handle a lot more kinds of Maude output. * Reorganize the MaudeMate library: - Extract output parsing and HTML generation into different classes. - Use CGI to easily generate HTML. * Update MaudeScript to work better with mk_scriptmate. * Add Commands for: - Parsing the current word in Maude. - Reducing the current word in Maude. - Rewriting the current word in Maude. - F-Rewriting the current word in Maude. - Running the selection as Code in Maude. All of these make use of MaudeMate to display their results. All of these run their commands in the context of the current module/file. bc696ffa822405abf3d0ceeafc5d6a8fac86e800 Martin Kühl martin.kuehl@gmail.com f58f08a17818926ec50a3a4bee92068adc323dbc Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/d34abd97fe0d0a94856ef8845a4df97c37d1ca07 d34abd97fe0d0a94856ef8845a4df97c37d1ca07

2008-02-14T20:16:50-08:00

* Something seems to have gone wrong while committing the new grammar before... 07e4f57d248e309251f4267bcd3f6ad31bb8a1f4 Martin Kühl martin.kuehl@gmail.com f17f9a2eb8c07e068481d88092bd49c146a41e65 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/f58f08a17818926ec50a3a4bee92068adc323dbc f58f08a17818926ec50a3a4bee92068adc323dbc

2008-02-14T20:15:37-08:00

* Update preferences and snippets to reflect the new scopes used in the grammar. 8dbffbe918cbc97e10cdbbb1e3ced3d4a1b562ed Martin Kühl martin.kuehl@gmail.com b2d03dd6daad087156600ef1b4724335f0833ee7 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/f17f9a2eb8c07e068481d88092bd49c146a41e65 f17f9a2eb8c07e068481d88092bd49c146a41e65

2008-02-14T20:14:18-08:00

* Rewrite the complete Maude grammar. - Make use of pseudo-sequencing to cope with more interesting constructs. - Include Modules, Sorts and Ops from the Prelude. - Reorganize scopes to be more standard (and more useful). 28a29c8f3074b644a0b1ff00a8cafb47ca705ba3 Martin Kühl martin.kuehl@gmail.com bf67089fea6cb3c022b2f45030123669c2014b44 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/b2d03dd6daad087156600ef1b4724335f0833ee7 b2d03dd6daad087156600ef1b4724335f0833ee7

2008-02-13T09:52:38-08:00

* Improve the indentNextLine pattern. f724dea330442e2a5fc537a0f81bee08b762a207 Martin Kühl martin.kuehl@gmail.com 04cd37480aaebaacac20f7dcde736dc8ac8886fc Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/bf67089fea6cb3c022b2f45030123669c2014b44 bf67089fea6cb3c022b2f45030123669c2014b44

2008-02-13T09:12:57-08:00

* Add MaudeMate, a Maude runner based on ScriptMate. * Clean up "Load in Maude" command. * Update Symbol List filter for ops. * Add Line Terminator preference. * File types are working. bb3577f31727422ab8d3dc1bfd98a0285d4e9b5f Martin Kühl martin.kuehl@gmail.com 435606fadf6bcccd3fb9500570274ba487e1ae8e Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/04cd37480aaebaacac20f7dcde736dc8ac8886fc 04cd37480aaebaacac20f7dcde736dc8ac8886fc

2008-02-08T02:28:00-08:00

* Add contact information and description to the bundle. bf59a82dc6a3194b3a054f0885a6c4e9ee7baa68 Martin Kühl martin.kuehl@gmail.com 51932ca4a0135c4841c22fd62a01ac98769a2120 Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/435606fadf6bcccd3fb9500570274ba487e1ae8e 435606fadf6bcccd3fb9500570274ba487e1ae8e

2008-02-08T02:09:38-08:00

* Update and clarify snippet and command descriptions. * Update and clarify tab triggers. * Improve menu structure. 58f6c766ea5fe0d15f8768bc6cb0ce764425577c Martin Kühl martin.kuehl@gmail.com Martin Kühl martin.kuehl@gmail.com http://github.com/mkhl/maude.tmbundle/commit/51932ca4a0135c4841c22fd62a01ac98769a2120 51932ca4a0135c4841c22fd62a01ac98769a2120

2008-02-07T16:10:17-08:00

Initial revision of a TextMate Bundle for Maude. b0b8de1f415ac3d1319fbdeecbcaec126fccd271 Martin Kühl martin.kuehl@gmail.com