Ant S. (Mar 31 2026 at 13:47): Ant S. (Mar 31 2026 at 13:47):Whenever I install Isabelle 2025 or 2025-2 on an NTFS disk on Windows, it seems to create a permissions entry for an entity known as "SYSTEM" and one known as "NULL SID", to the point where opening Isabelle/jEdit is straight-up borked and tells me I don't have adequate permissions to run the executable (on a personal machine might I add) unless I recursively fix all of the permission entries. Considering this is Windows, I doubt it's the highest priority but I'm writing this in the hope that someone knows what's going on here
Ant S. (Mar 31 2026 at 13:48):Also note: I have microsoft defender disabled, for the most part
Ant S. (Mar 31 2026 at 13:49):the current fix is just to manually edit permission entries, but I think it would be good to know why this is necessary
Last updated: Apr 09 2026 at 09:11 UTC