Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Automatically select macros to convert library items to terms #9

Closed
SReichelt opened this issue Jan 27, 2019 · 1 comment
Closed

Automatically select macros to convert library items to terms #9

SReichelt opened this issue Jan 27, 2019 · 1 comment
Assignees
@SReichelt
Labels
component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
Milestone
1. Web-based inpu...

Comments

@SReichelt
Copy link
Owner

It should be possible to select an operator directly as a function. The corresponding macro should be instantiated automatically, as it is more or less invisible to the user.
@SReichelt SReichelt added component: hlm logic Issue concerns the HLM logic component: gui Issue concerns the web-based user interface labels Jan 27, 2019
@SReichelt SReichelt self-assigned this Jan 27, 2019
@SReichelt SReichelt added the enhancement New feature or request label Jan 27, 2019
@SReichelt SReichelt mentioned this issue May 16, 2020
Open
@SReichelt
Copy link
Owner Author

Now part of #46.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SReichelt SReichelt

Labels
component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
Projects
None yet
Milestone
1. Web-based input of definitions and...
Development

No branches or pull requests
1 participant
@SReichelt