Log in
Preview of Isabelle markup expander

Isabelle markup expander by terru

Parse Isabelle escape codes and replace them by unicode representation

0 (0 reviews)
No Users
Download Firefox and get the extension
Download file
About this extension
Tired of having to read Isabelle theory files on code forges, staring at the bare, unexpanded markup? Use this to do a simple pass over the website and replace all the escape sequences with their unicode representations.
Rated 0 by 0 reviewers

Star rating saved

5
0
4
0
3
0
2
0
1
0
No reviews yet
Permissions and data

Required permissions:

  • Access your data for all websites

Data collection:

  • The developer says this extension doesn't require data collection.
Learn more
More information
Add-on Links
Version
0.1
Size
23.45 KB
Last updated
a month ago (Jun 17, 2026)
Related Categories
Version History
Add to collection
Report this add-on