Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Diffusion
Poly/ML
610a153b941d
Fix check for 32-bit constants.
610a153b941d
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
This commit no longer exists in the repository. It may have been part of a branch which was deleted.
Description
Fix check for 32-bit constants.
Details
Provenance
dcjm
Authored on Nov 13 2021, 5:40 PM
Event Timeline
dcjm
committed
rPOLYML610a153b941d: Fix check for 32-bit constants.
(authored by
dcjm
).
Nov 13 2021, 5:40 PM
2021-11-13 17:40:05 (UTC+1)
Commit No Longer Exists
This commit no longer exists in the repository.