[ietf-types] request for review: text/mizar
Jesse Alama <jesse.alama@gmail.com> Sun, 22 January 2012 13:16 UTC
Return-Path: <jesse.alama@gmail.com>
X-Original-To: ietf-types@ietfa.amsl.com
Delivered-To: ietf-types@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id F308421F84EC for <ietf-types@ietfa.amsl.com>; Sun, 22 Jan 2012 05:16:35 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.14
X-Spam-Level:
X-Spam-Status: No, score=-1.14 tagged_above=-999 required=5 tests=[BAYES_20=-0.74, J_CHICKENPOX_15=0.6, RCVD_IN_DNSWL_LOW=-1]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 4yKlWq+dNvnQ for <ietf-types@ietfa.amsl.com>; Sun, 22 Jan 2012 05:16:34 -0800 (PST)
Received: from mail-we0-f172.google.com (mail-we0-f172.google.com [74.125.82.172]) by ietfa.amsl.com (Postfix) with ESMTP id D38B921F84D7 for <ietf-types@ietf.org>; Sun, 22 Jan 2012 05:16:33 -0800 (PST)
Received: by werp11 with SMTP id p11so1830402wer.31 for <ietf-types@ietf.org>; Sun, 22 Jan 2012 05:16:33 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=from:to:subject:date:message-id:user-agent:mime-version :content-type; bh=pWoYrGY48+haFVm6XnZ398hsY6UUknXigZUGsdTdQLM=; b=SCACq3DgDUbVXJUrUOPJA+EXWsRupCXajnQ6ZgonTU0l/XmwQT/qtnmMvwlXwxi844 ozv99uw8QQVKW2ON/bihMGPmCuZJqw5iTwZN68e3nz91gUQRCOe9HAOFnDepMw4R/xss 3XvmIg/5JX+u1Io8lwioRItQ0Mq7z27U43B3o=
Received: by 10.216.134.71 with SMTP id r49mr2055645wei.49.1327238193089; Sun, 22 Jan 2012 05:16:33 -0800 (PST)
Received: from localhost (lie.newton.cam.ac.uk. [131.111.145.118]) by mx.google.com with ESMTPS id n5sm11232798wiw.7.2012.01.22.05.16.31 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 22 Jan 2012 05:16:32 -0800 (PST)
From: Jesse Alama <jesse.alama@gmail.com>
To: ietf-types@ietf.org
Date: Sun, 22 Jan 2012 13:16:30 +0000
Message-ID: <m2zkdf6fo1.fsf@part68.private.newton.cam.ac.uk>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (darwin)
MIME-Version: 1.0
Content-Type: text/plain
Subject: [ietf-types] request for review: text/mizar
X-BeenThere: ietf-types@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "Media \(MIME\) type review" <ietf-types.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ietf-types>, <mailto:ietf-types-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/ietf-types>
List-Post: <mailto:ietf-types@ietf.org>
List-Help: <mailto:ietf-types-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ietf-types>, <mailto:ietf-types-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 22 Jan 2012 13:16:36 -0000
(Reposted to ietf-types@ietf.org rather than ietf-types@alvestrand.no, to which it was [wrongly] initially submitted, and thus my have hampered discussion about the proposed MIME type. What follows is the result of completing the form at http://www.iana.org/cgi-bin/mediatypes.pl .) ====================================================================== Name : Jesse Alama Email : j.alama at fct.unl.pt MIME media type name : text MIME subtype name : Standards Tree -mizar Required parameters : none Optional parameters : none Encoding considerations : 7bit Security considerations : none Interoperability considerations : Published specification : A. Grabowski, A. Kornilowicz, and A. Naumowicz, "Mizar in a Nutshell", Journal of Formalized Reasoning 3(2), 2010, pp. 153--245. Applications which use this media : The mizar suite of tools Additional information : 1. Magic number(s) : none 2. File extension(s) : .miz 3. Macintosh file type code : none 4. Object Identifiers: none Window clipboard flavor: "Mizar" Macintosh Uniform Type Identifier: "org.mizar" conforms to "public.text" The mizar language is a language for formalized mathematical documents. Authors use this language to express definitions of mathematical concepts, and express and proof formal mathematical statements. The language has been developed since the 1970s and today is used in teaching logic and mathematics in various high school and university settings. The library of mathematical knowledge formalized in the mizar language, the Mizar Mathematical Library, consists (at the time of application) of more than 1100 "articles" which, like an ordinary mathematical article in a journal, are coherent presentations and developments of mathematics. Person to contact for further information : 1. Name : Jesse Alama 2. Email : j.alama at fct.unl.pt Intended usage : Common This media type is intended to be used by text editors and affiliated programs that read text (e.g., web browsers). Author/Change controller : Adam Naumowicz Association of Mizar Users sum at mizar.uwb.edu.pl -- Jesse Alama http://centria.di.fct.unl.pt/~alama/
- Re: [ietf-types] request for review: text/mizar Jesse Alama
- [ietf-types] request for review: text/mizar Jesse Alama