Commits : Listings
Analyzed
about 1 hour
ago.
based on code collected
about 18 hours
ago.
|
Apr 24, 2024
—
Apr 24, 2025
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| typo in comment + use of common verification (invoking super.verify()) |
|
More... | over 19 years ago | |||
| Added descriptions of internal element types. Factored out common behavior with file element types. |
|
More... | over 19 years ago | |||
| Use IRodinElement parameter in constructor, rather than RodinElement (which is somehow not part of the API). |
|
More... | over 19 years ago | |||
| Updated API documentation which was out of sync with code. |
|
More... | over 19 years ago | |||
| Added extension point for internal element types. |
|
More... | over 19 years ago | |||
| Added configuration for plugin manifest compilation. |
|
More... | over 19 years ago | |||
| Added translations for extension and extension point names. |
|
More... | over 19 years ago | |||
| Initial release. Doesn't compile yet. |
|
More... | over 19 years ago | |||
| New repository initialized by cvs2svn. |
|
More... | almost 21 years ago | |||
