RODIN

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2024 — Apr 24, 2025 Showing page 16 of 389 Search / Filter on:
Remove useless test	Guillaume Verdier	More...				over 2 years ago
Properly dispose FormToolkit	Guillaume Verdier	More...				over 2 years ago
Fix bug #807: Proof information view text cut off	Guillaume Verdier	More...				over 2 years ago
Fix bug #806: Missing UI indicator when running post tactic	Guillaume Verdier	More...				over 2 years ago
Cleanup order of tactic cancellation tests	Guillaume Verdier	More...				over 2 years ago
Port to Apple silicon	Laurent Voisin	More...				over 2 years ago
Remove obsolete x86 architecture	Laurent Voisin	More...				over 2 years ago
Add cancellation support for more tactic combinators	Guillaume Verdier	More...				over 2 years ago
Check for cancellation between user tactic and post tactics	Guillaume Verdier	More...				over 2 years ago
Use lambdas to shorten creation of runnable objects	Guillaume Verdier	More...				over 2 years ago
Avoid flashing progress dialog for fast tactics	Guillaume Verdier	More...				over 2 years ago
Display progress dialog for all tactics, interruptible or not	Guillaume Verdier	More...				over 2 years ago
Add build for Apple Silicon	Laurent Voisin	More...				over 2 years ago
Allow using x86_64 binaries on Apple Silicon	Laurent Voisin	More...				over 2 years ago
Fix bug #804: FormulaExtensionProviderRegistry does not catch exceptions	Guillaume Verdier	More...				almost 3 years ago
Upgrading the script of the Core update site	Idir AIT SADOUNE	More...				almost 3 years ago
Fix bug #701: Translation occurs unexpectedly	Guillaume Verdier	More...				about 3 years ago
Fix bug #801: Hypothesis checkbox not refreshed when clicked	Guillaume Verdier	More...				about 3 years ago
Update the Eclipse update site forgot in previous changes	Idir AIT SADOUNE	More...				about 3 years ago
Prepare for Rodin 3.7	Laurent Voisin	More...				about 3 years ago
Port to Eclipse 4.22 (2021-12)	Laurent Voisin	More...				about 3 years ago
Update Eclipse version and Copyright notices in features and about properties	Idir AIT SADOUNE	More...				about 3 years ago
Update default update sites	Idir AIT SADOUNE	More...				about 3 years ago
Update Copyright year in splash image	Idir AIT SADOUNE	More...				about 3 years ago
Update Welcome page	Idir AIT SADOUNE	More...				about 3 years ago
Increment the Rodin product version and add recommended plugins to generate the config.ini file	Idir AIT SADOUNE	More...				about 3 years ago
Increment version of plugins and features to 3.7	Idir AIT SADOUNE	More...				about 3 years ago
Update Eclipse version	Idir AIT SADOUNE	More...				about 3 years ago
Fix documentation of IEventBProject	Guillaume Verdier	More...				about 3 years ago
Fix warning about duplicated p2 metadata	Laurent Voisin	More...				about 3 years ago

←
1
2
…
12
13
14
15
16
17
18
19
20
…
388
389
→