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 380 of 392 Search / Filter on:
Tests for the POM	Farhad Mehta	More...				over 19 years ago
Tests for the POM	Farhad Mehta	More...				over 19 years ago
Made tactics cleaner - tests	Farhad Mehta	More...				over 19 years ago
Made tactics cleaner	Farhad Mehta	More...				over 19 years ago
Commiting the POM	Farhad Mehta	More...				over 19 years ago
Commiting the POM	Farhad Mehta	More...				over 19 years ago
Commenting implimentaton for PR files	Farhad Mehta	More...				over 19 years ago
Commenting interfaces for PR files	Farhad Mehta	More...				over 19 years ago
Added the buttons to switch between different layout for the buttons in Proof Control.	Thai Son Hoang	More...				over 19 years ago
New tests for proof trees and proof tree nodes.	Laurent Voisin	More...				over 19 years ago
Now caching the "discharged" information.	Laurent Voisin	More...				over 19 years ago
Changed getGlobalHypothesis() in order for POHypothesis to work for PR files as well	Farhad Mehta	More...				over 19 years ago
In Prover UI: getContentOutline() should be getProofTreeUI()	Thai Son Hoang	More...				over 19 years ago
ProofTreeUI associated with the UserSupport instead of ProverUI Editor.	Thai Son Hoang	More...				over 19 years ago
removed some @SuppressWarnings("unused")	Stefan Hallerstede	More...				over 19 years ago
removed all warnings	Stefan Hallerstede	More...				over 19 years ago
Fixed wrong SECTION_TITLE and SECTION_DESCRIPTION.	Thai Son Hoang	More...				over 19 years ago
Fixed hasChildren() and getParent() methods.	Thai Son Hoang	More...				over 19 years ago
Two elements are considered equal if they also have the same type.	Laurent Voisin	More...				over 19 years ago
Added new test of unnamed element copy.	Laurent Voisin	More...				over 19 years ago
added a means to patch sequent produced by the syntax visitor into ML format. Originally it has PP format.	Stefan Hallerstede	More...				over 19 years ago
DisplayCached and DisplaySearched hypotheses should be global for UserSupport, and is NOT part of the ProofState.	Thai Son Hoang	More...				over 19 years ago
Remove the ProofTreeChangeListener from User Support. The UI will listen directly to the IProofTree.	Thai Son Hoang	More...				over 19 years ago
IPODelta stored IProofTree instead of ProofState.	Thai Son Hoang	More...				over 19 years ago
Stored the IProofTree in ProofState instead of the IProofTreeNode root.	Thai Son Hoang	More...				over 19 years ago
Using IProofTree as the invisible root in the display Proof Tree instead of ProofState.	Thai Son Hoang	More...				over 19 years ago
Copyright by ETH Zurich	Thai Son Hoang	More...				over 19 years ago
Published getProofTree().	Laurent Voisin	More...				over 19 years ago
Added link to proof tree.	Laurent Voisin	More...				over 19 years ago
Added cleanup of temporary files.	Laurent Voisin	More...				over 19 years ago

←
1
2
…
376
377
378
379
380
381
382
383
384
…
391
392
→