Releases: pbroadbery/aldor-idea-plugin
Releases · pbroadbery/aldor-idea-plugin
Release 1.3.2
Update README.md Notes on 1.3.2
Release 1.3.1
Merge pull request #45 from pbroadbery/release-precheck Version compatibility fixes
Release 1.3
Merge pull request #44 from pbroadbery/release-precheck Various cleanups
Release 1.2
release-1.2 Correct reference
Spad release
Lots more functionality
- Spad input files
- Spad type browser
- Run .input files
Aldor/Idea initial release
This is an intellij plug-in for aldor. It supports:
- Documentation for symbols
- Grammar highlighting
- On the fly compilation
In aldor. There is also some fricas support - Documentation for top level symbols
- Grammar highlighting
Preview release 0.0
Early version - in no way complete.
Add as a plugin. Create an intellij aldor project in a freshly checked out aldor or fricas repo. configure the aldor repo either in its directory or a build directory at project top level, and then build for better results.
Ctrl-Q for docs (top level only in spad, bit better in aldor).
Ctrl-B is goto definition (works on top level and parameters)
Ctrl-M is find class (ie. domain or category)
Ctrl-Shift-M is find symbol (ie. any definition)
Compilation is not yet supported (except as far as .ao for aldor), and will just make use of existing makefiles.