RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 01, 2024 — Sep 01, 2025 Showing page 382 of 392 Search / Filter on:
Initial commit	Farhad Mehta	More...				over 19 years ago
Variables are now private.	Thai Son Hoang	More...				over 19 years ago
Better names for perspectives.	Laurent Voisin	More...				over 19 years ago
added types of primed variables to po file	Stefan Hallerstede	More...				over 19 years ago
* empty log message *	Thai Son Hoang	More...				over 19 years ago
Changed to use org.eventb.core.seqprover instead of org.eventb.core.prover.	Thai Son Hoang	More...				over 19 years ago
added source references to proof obligations	Stefan Hallerstede	More...				over 19 years ago
implmeneted source references in proof obligations	Stefan Hallerstede	More...				over 19 years ago
Fixed unused imports.	Laurent Voisin	More...				over 19 years ago
Ignore bin directory for version control.	Laurent Voisin	More...				over 19 years ago
Finished implementing handle mementos.	Laurent Voisin	More...				over 19 years ago
corrected project settings	Stefan Hallerstede	More...				over 19 years ago
Added packages org.eventb.core.pm and org.eventb.core.pm for the User Support.	Thai Son Hoang	More...				over 19 years ago
Add two perspectives for Modelling UI and Proving UI.	Thai Son Hoang	More...				over 19 years ago
Add public constants for WIZARD_IDs.	Thai Son Hoang	More...				over 19 years ago
Initial commit	Farhad Mehta	More...				over 19 years ago
Initial commit	Farhad Mehta	More...				over 19 years ago
* empty log message *	Thai Son Hoang	More...				over 19 years ago
added non-empty carrirer set hypotheses generation	Stefan Hallerstede	More...				over 19 years ago
Change the documentation in order to deliver as a .jar file.	Thai Son Hoang	More...				over 19 years ago
Using Collect<T> instead of T [] for translators.	Thai Son Hoang	More...				over 19 years ago
* empty log message *	Stefan Hallerstede	More...				over 19 years ago
Update Brave Sans Mono Roman Font	Thai Son Hoang	More...				over 19 years ago
Obligation List becomes Obligation Explorer for all the obligations in the Workspace	Thai Son Hoang	More...				over 19 years ago
Obligation List becomes Obligation Explorer for all the obligations in the Workspace	Thai Son Hoang	More...				over 19 years ago
Proof Control, Proof Information, Obligation List, Proof Tree UI has been reimplemented similar to Content Outline.	Thai Son Hoang	More...				over 19 years ago
ElementLabelProvider: IAction has no name, use content for displaying.	Thai Son Hoang	More...				over 19 years ago
Refresh an element when the content of that element has been changed.	Thai Son Hoang	More...				over 19 years ago
Added an iterator on type environments.	Laurent Voisin	More...				over 19 years ago
Added ignore javadoc directory.	Laurent Voisin	More...				over 19 years ago

←
1
2
…
378
379
380
381
382
383
384
385
386
…
391
392
→