RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 15 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 28, 2024 — Aug 28, 2025 Showing page 389 of 392 Search / Filter on:
Implemented element renaming.	Laurent Voisin	More...				over 19 years ago
changed ELEMENT_TYPE to correct value	Stefan Hallerstede	More...				over 19 years ago
Added move() operation on elements. Added flag F_REPLACED in deltas. Fixed deltas for move() and copy() of elements. Refactored the operations on elements so that they use internally a common protocol with RodinFileElementInfo.	Laurent Voisin	More...				over 19 years ago
Fixed toStringInfo() (the info was not peeked at in the correct place).	Laurent Voisin	More...				over 19 years ago
added comment	Stefan Hallerstede	More...				over 19 years ago
Added a todo.	Laurent Voisin	More...				almost 20 years ago
implemented basic functionality	Stefan Hallerstede	More...				almost 20 years ago
added some comments	Stefan Hallerstede	More...				almost 20 years ago
Added check for null contents.	Laurent Voisin	More...				almost 20 years ago
added sees clause	Stefan Hallerstede	More...				almost 20 years ago
added sees clause	Stefan Hallerstede	More...				almost 20 years ago
minor correction	Stefan Hallerstede	More...				almost 20 years ago
Created an operation class for changing the contents of an internal element. Now, a delta is generated and the "unsaved changes" status of the containing file is updated.	Laurent Voisin	More...				almost 20 years ago
constructeor made public	Stefan Hallerstede	More...				almost 20 years ago
Need to export the basic classes of the contributed element types.	Laurent Voisin	More...				almost 20 years ago
Finished implementation of getType().	Laurent Voisin	More...				almost 20 years ago
Cleaned up unused imports	Laurent Voisin	More...				almost 20 years ago
these fiel have been move to the subpackage "basis"	Stefan Hallerstede	More...				almost 20 years ago
remove file that was not yet ready to be there	Stefan Hallerstede	More...				almost 20 years ago
new architecture for PO and SC related files	Stefan Hallerstede	More...				almost 20 years ago
new architecure for SC and PO related elements	Stefan Hallerstede	More...				almost 20 years ago
new architecure for SC and PO related elements	Stefan Hallerstede	More...				almost 20 years ago
new architecure for SC and PO related elements	Stefan Hallerstede	More...				almost 20 years ago
some properties for static checking added	Stefan Hallerstede	More...				almost 20 years ago
some extensions for static checking added	Stefan Hallerstede	More...				almost 20 years ago
Use of interfaces for clients instead of implementation classes.	Laurent Voisin	More...				almost 20 years ago
Added class javadoc.	Laurent Voisin	More...				almost 20 years ago
Use of interfaces for clients instead of implementation classes.	Laurent Voisin	More...				almost 20 years ago
Use of interfaces for clients instead of implementation classes.	Laurent Voisin	More...				almost 20 years ago
Replaces RodinElement by IRodinElement.	Laurent Voisin	More...				almost 20 years ago

←
1
2
…
384
385
386
387
388
389
390
391
392
→