Isabelle sözdizimi kaydı

Kısa cevap: Isabelle, Pygments tarafından tanınan bir sözdizimi/lexer kaydıdır.

Temel bilgiler

Takma adisabelle

Dosya deseni*.thy

MIMEtext/x-isabelle

Isabelle nedir?

Isabelle, Pygments sözdizimi vurgulama sisteminde tanımlı bir lexer kaydıdır. Bir programlama dili, işaretleme biçimi veya özel dosya formatını temsil edebilir.

Takma adlar

isabelle

Dosya desenleri

*.thy

MIME türleri

text/x-isabelle

İlgili konular

Kaynaklar ve doğrulama:

Pygments Lexers Documentation

Kaynakta bulunmayan bilgiler tahmin edilmez. Hızla değişen veriler yayın/güncelleme tarihiyle birlikte değerlendirilmelidir.