Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Τι είναι το Matisa;
Το Matisa είναι ένα πρόσθετο Chrome που αναπτύχθηκε από τον pfribeiro, και η κύρια λειτουργία του είναι "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
Στιγμιότυπα Επέκτασης
Λήψη αρχείου CRX της επέκτασης Matisa
Λήψη αρχείων επέκτασης Matisa σε μορφή crx, εγκατάσταση των επεκτάσεων Chrome μη αυτόματα στον περιηγητή ή κοινοποίηση των αρχείων crx με φίλους για εύκολη εγκατάσταση των επεκτάσεων Chrome.
Οδηγίες Χρήσης της Επέκτασης
This extension parses Isabelle syntax on GitHub and renders it using MathJax. This is currently a beta version, example available at: https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp
Changelog:
Version 1.0.6 (Current):
- Improved detection logic of Isabelle repositories by using the GitHub API when the extension cannot safely determine this.
Version 1.0.5:
- Fix for version display.
Version 1.0.4:
- Improved compatibility with Firefox.
- Optimized extension code.
- Fixed \ command.
Version 1.0.3:
- Reduced extension size down to 2.3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Updated parser's rules to deal with nested subscripts and escaping of underscores.
- Optimized extension loading logic to be portable.
Version 1.0.2:
- Added missing file.
Version 1.0.1:
- Initial Chrome web store release. Βασικές Πληροφορίες Επέκτασης
| Όνομα |  Matisa |
| ID | jkpdfeicbjekckenhpippdllibmbcinf |
| Επίσημο URL | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
| Περιγραφή | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
| Μέγεθος Αρχείου | 1.38 MB |
| Αριθμός Εγκαταστάσεων | 28 |
| Τρέχουσα Έκδοση | 1.0.6 |
| Τελευταία Ενημέρωση | 2016-08-28 |
| Ημερομηνία Δημοσίευσης | 2016-08-28 |
| Αξιολόγηση | 5.00/5 Συνολικά 3 Αξιολογήσεις |
| Προγραμματιστής | pfribeiro |
| Τύπος Πληρωμής | free |
| Υποστηριζόμενες Γλώσσες | en-GB |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 2,
"name": "Matisa",
"description": "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.",
"version": "1.0.6",
"browser_action": {
"default_icon": "matisa128.png",
"default_popup": "popup.html"
},
"icons": {
"16": "matisa16.png",
"128": "matisa128.png"
},
"content_scripts": [
{
"matches": [
"*:\/\/github.com\/*"
],
"js": [
"eventPage.js"
]
}
],
"web_accessible_resources": [
"MathJax.js",
"config\/*",
"extensions\/*",
"fonts\/*",
"jax\/*",
"localization\/*",
"matisa.js",
"config.js",
"isabellesyntax.js"
],
"permissions": [
"*:\/\/github.com\/*"
]
} | |
