Skip to content

Releases: pbroadbery/aldor-idea-plugin

Release 1.3.2

16 Apr 19:25
9dc7a0f
Compare
Choose a tag to compare
Release 1.3.2 Pre-release
Pre-release
Update README.md

Notes on 1.3.2

Release 1.3.1

06 Apr 22:31
b3de3f5
Compare
Choose a tag to compare
Release 1.3.1 Pre-release
Pre-release
Merge pull request #45 from pbroadbery/release-precheck

Version compatibility fixes

Release 1.3

02 Apr 22:35
eb243ae
Compare
Choose a tag to compare
Release 1.3 Pre-release
Pre-release
Merge pull request #44 from pbroadbery/release-precheck

Various cleanups

Release 1.2

27 Mar 19:59
Compare
Choose a tag to compare
Release 1.2 Pre-release
Pre-release
release-1.2

Correct reference

Spad release

06 Feb 22:08
Compare
Choose a tag to compare
Spad release Pre-release
Pre-release

Lots more functionality

  • Spad input files
  • Spad type browser
  • Run .input files

Aldor/Idea initial release

22 Mar 22:30
Compare
Choose a tag to compare
Pre-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

04 Jan 23:29
Compare
Choose a tag to compare
Preview release 0.0 Pre-release
Pre-release

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.