Is there any emacs package that supports prism language? (http://www.prismmodelchecker.org/)
I would like to edit prism models (dtmc, ctmc ..) in emacs
because editing directly using xprism take more time for me
Thank you very much
Related
So I was wondering if there's a game out there that lets me practice my emacs cursor skills. I just started using emacs and thought that a game letting me control the player with the standard emacs bindings would be an awesome way to get going. When searching for one I stumbled upon this for VIM.
Does anyone know of something similar for emacs?
This is not a game, but I'd suggest installing hardcore-mode (available on Melpa too), and configure it to your liking (here's my configuration if interested). That package when enabled globally will force you to not use the arrow keys and use the C-f, C-b, C-n, C-p bindings instead. So much so that now using those bindings has become a second nature to me.
PS: There's an emacs-dedicated stackexchange site in case you didn't know.
One idea: Have a game mode that shows two buffers, and the goal is to transform the first into the second buffer with the least amount of keystrokes.
hs-minor-mode in Emacs makes it possible to hide the cumbersome initial comment block so that one can get quickly to the code.
Is there a way to duplicate in Emacs what Eclipse (and other) IDEs do to the initial import blocks? A solution that works for C++ includes as well as for Java imports would be nice.
Have a look at the various folding modes and HideShow mode in Emacs. The original Emacs folding-mode has the downside that it requires you to add some additional markers to the code, which I find cumbersome and they don't really help with readability IMHO.
CEDET has a semantic folding mode that will probably be able to do what you want (I haven't looked at it for a while but CEDET/semantic is pretty good at this sort of functionality).
I really like the syntax highlighting and coloring of the code samples throughout How to Design Programs. For example:
http://www.htdp.org/2003-09-26/Book/curriculum-Z-H-9.html#node_sec_6.5
Does anyone have something like this as a jumping off point for an Emacs major mode for editing source code?
Neil Van Dyke created an Emacs major mode for editing Scribble documents. It doesn't color the source code, unfortunately. But it's the best way to edit documents with embedded Racket code in Emacs.
In the realm of non-Emacs editors, DrRacket does highlight both code and text correctly in Scribble documents.
Is it possible you're looking for a Emacs major mode with source highlighting support? If you are, take a look at http://docs.racket-lang.org/guide/Emacs.html, which describes several of the Emacs major modes that support Racket and come with source highlighting.
I'm an Eclipse addict trying to get more comfortable with Emacs for C code. Is there a way to get an outline view of a C file, similar to the view on the right of the image below, in Emacs in CC mode?
(source: eclipse.org)
Check out ECB, the Emacs Code Browser.
Definitely check out Speedbar. That will make a new Emacs frame that can be used as an outline. If you want something in the same frame, check out Sr Speedbar.
ECB is an integration tool that uses Speedbar anyways. It offers a lot more functionality though - the file browser with VC integration is particularly nice IMO. All in all I think that if one needs to make Emacs look more like Eclipse he needs ECB.
Take a look at Speedbar, which will provide this kind of functionality in any mode that has imenu support (including C).
wxWidgets provides for notebooks with multiple lines of tabs only on Windows platforms. Is there a simple way to provide similar functionality on GTK based platforms, or am I stuck with the only option being to create a customized notebook class that supports it?
As you say, you are stuck with the only option being to create a customized notebook class that supports it. GTK solves the "too many tabs" problem by providing left and right arrows with which you can page through the tabs.
Multiline tabs are a horrible idea anyway in my opinion. Take a look at these monstrosities.