മാറ്റിസ ഇൻ Chrome OffiDocs ഉപയോഗിച്ച്

വിവരണം

ഈ വിപുലീകരണം GitHub-ലെ Isabelle വാക്യഘടനയെ പാഴ്‌സ് ചെയ്യുകയും MathJax ഉപയോഗിച്ച് റെൻഡർ ചെയ്യുകയും ചെയ്യുന്നു.

ഇത് നിലവിൽ ഒരു ബീറ്റ പതിപ്പാണ്, ഉദാഹരണം ഇവിടെ ലഭ്യമാണ്: https://github.

com/isabelle-utp/utp-main/tree/shallow.

2016/utp ചേഞ്ച്‌ലോഗ്: പതിപ്പ് 1.0.6 (നിലവിലെ): - വിപുലീകരണത്തിന് ഇത് സുരക്ഷിതമായി നിർണ്ണയിക്കാൻ കഴിയാത്തപ്പോൾ GitHub API ഉപയോഗിച്ച് ഇസബെല്ലെ റിപ്പോസിറ്ററികളുടെ മെച്ചപ്പെട്ട കണ്ടെത്തൽ ലോജിക്.

പതിപ്പ് 1.0.5: - പതിപ്പ് ഡിസ്പ്ലേയ്ക്കായി പരിഹരിക്കുക.

പതിപ്പ് 1.0.4: - ഫയർഫോക്സുമായി മെച്ചപ്പെട്ട അനുയോജ്യത.

- ഒപ്റ്റിമൈസ് ചെയ്ത വിപുലീകരണ കോഡ്.

- നിശ്ചിത \ കമാൻഡ്.

പതിപ്പ് 1.0.3: - ക്ലോഷർ ഉപയോഗിച്ചും MathJax ലൈബ്രറി ചെറുതാക്കിയും വിപുലീകരണ വലുപ്പം 2.3MiB (വലുപ്പം അൺസിപ്പ് ചെയ്‌തത്) ആയി കുറച്ചു.

- നെസ്റ്റഡ് സബ്‌സ്‌ക്രിപ്‌റ്റുകൾ കൈകാര്യം ചെയ്യുന്നതിനും അടിവരയിടുന്നതിൽ നിന്ന് രക്ഷപ്പെടുന്നതിനും പാർസറിൻ്റെ നിയമങ്ങൾ അപ്‌ഡേറ്റുചെയ്‌തു.

- പോർട്ടബിൾ ആകാൻ ഒപ്റ്റിമൈസ് ചെയ്ത എക്സ്റ്റൻഷൻ ലോഡിംഗ് ലോജിക്.

പതിപ്പ് 1.0.2: - നഷ്ടപ്പെട്ട ഫയൽ ചേർത്തു.

പതിപ്പ് 1.0.1: - പ്രാരംഭ Chrome വെബ് സ്റ്റോർ റിലീസ്.

അധിക വിവരം:

- pfribeiro ഓഫർ ചെയ്യുന്നത്
- ശരാശരി റേറ്റിംഗ്: 5 നക്ഷത്രങ്ങൾ (ഇത് ഇഷ്ടപ്പെട്ടു)

മാറ്റിസ വെബ് extension OffiDocs-മായി സംയോജിപ്പിച്ചിരിക്കുന്നു Chromium ഓൺലൈൻ