Release 10 #309
Merged
Release 10 #309
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
In a previous commit, a regression was introduced that prevent the 'main manifest attribute' to be set within jar generated by `sbt deploy` and `sbt deployFull`. The regression was caused by a scoping issue within sbt keys. This commit fixes the regression by explicitly setting the `mainClass in assembly` taskKey.
After suggested by @florian-rabe in #200, this commit removes all scala.language.* imports. Instead, we move these to -language:* compiler flags within our sbt configuration.
This commit makes project exclusions a ProjectReference instance instead of a Project instance, allowing for non-local projects to be excluded.
More devel fixes
This commit updates the year in the current COPYING file to include 2017 and 2018.
Previously, jars generated by `sbt deploy` contained a shebang line to be directly usable as shell scripts. This caused issues for some users, as it violates the jar standard. This commit removes the line from generated fatjars. Users relying on this feature should use the provided `mmt` shell script in the deploy folder instead.
…dly and different from normal building. The Testing suite currently provides no useful information. No idea why
Now uses the current class path in addition to the detected one
This commit updatest RealizationStorage to rebuild a class loader every time an object is loaded to properly handle dynamically changing scala-bin code
This commit updates the way Actions and their execution is implemented. Previously, all actions and their grammar were defined in a single file. Their execution was defined in a single, seperate, ActionHandling trait. This commit splits actions into several files and adds a new frontend.actions package to contain these new files. It furthermore adds a new trait, ActionCompanion, that is then used to define companion objects of actions, which in turn define how actions are executed. This commit furthermore adds a help command that can display help topics located in the /help-text/ resource folder, along with helpText for actions (see #198). It furthermore updates all previous usages of the help text to use the new method instead. fixes #198
Do not log exceptions twice and clone specific archive versions
This commit adds some tests fixes that were neccessary becausxe Florian removed thee Co-Versioning implementation and changed parts of the setup, but did not properly apply these changes to tests.
ViewInclude replaced with LinkInclude lookup of assignments in views now properly handles includes in the domain jedit sidekick catches any Throwable, not just Exception
…heories removed TODOs about metamorphisms
jedit sidekick shows elaboration various bugfixes
- elaboration of definition of theory - presentation of term on hover
completely rewritten elaboration, now feature-complete (does not pass all tests atm)
…th definition expansion in that case, the deep simplification of a constant is stored in the normalized dimension jedit action calls deep simplification
constants now carry a visibility field; for now, it defaults to a trivial value and is never used
Prepare Release 10
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR releases release 10.