From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Kaushal Modi Newsgroups: gmane.emacs.devel Subject: Re: Emacs and jEdit Date: Mon, 18 Jul 2016 12:11:05 +0000 Message-ID: References: <611049b7-d084-cace-1e9d-513122d4bf97@online.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11c17c0273f0d60537e7ddfe X-Trace: ger.gmane.org 1468843929 20251 80.91.229.3 (18 Jul 2016 12:12:09 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 18 Jul 2016 12:12:09 +0000 (UTC) To: =?UTF-8?Q?Andreas_R=C3=B6hler?= , Emacs developers Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jul 18 14:12:09 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bP7P6-0005Ox-V1 for ged-emacs-devel@m.gmane.org; Mon, 18 Jul 2016 14:12:09 +0200 Original-Received: from localhost ([::1]:46482 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bP7P6-0007k1-1L for ged-emacs-devel@m.gmane.org; Mon, 18 Jul 2016 08:12:08 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38945) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bP7ON-0007js-DS for emacs-devel@gnu.org; Mon, 18 Jul 2016 08:11:24 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bP7OG-0006n1-Gu for emacs-devel@gnu.org; Mon, 18 Jul 2016 08:11:22 -0400 Original-Received: from mail-oi0-x231.google.com ([2607:f8b0:4003:c06::231]:36060) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bP7OG-0006mx-CT for emacs-devel@gnu.org; Mon, 18 Jul 2016 08:11:16 -0400 Original-Received: by mail-oi0-x231.google.com with SMTP id w18so248965632oiw.3 for ; Mon, 18 Jul 2016 05:11:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=+64rBFprK7cz3IUt3TPkbPRJywemZNnAuf5bxWALf48=; b=mnk1fXqFEeh9TSjOX748dPO9ytsgSautJNj9R0Epe3UZN4S/4uxKePmVrLQyO81x3k dSUxX/MzPCnFXX++eNp3ZQt06tgblNDFBfAYc2jcmmS609R65fCCH0y2PjkmkNfcHokZ UJKDL6Xc9p3snPojALSxAuG+lWg+lpr5l4dCDh3k46QvFm41VGRhnOnOgNK0mROhQGX0 GEOwXCV80/H+6eHgxZvAhw/sXk9Uj7j9A8tIrX7lZOlSsVKLf6FjRC77PM+DoxV74VSf H/BAXvP9PwF7mrZm/8ewcq5vSOBBiPnyt38FkWSUk0zO3BhqpIhUBsacQEFILVXKgHkb 7zBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=+64rBFprK7cz3IUt3TPkbPRJywemZNnAuf5bxWALf48=; b=iCemOxD8XN5JBtsD7ISONu0fZfkekEJTCrZUePdo0eOi8I+7mDddGfbtXDa1f0UNQC OV7e1Q1b0QWTHl3d/HkJ3+1A0HT8iqWuCxBc4xlqpVVd/lm3Ubp5dastyk2Z5N1yJ/C0 tW5RwzR4UwZ1ANzMCt1aAh9TP1Ci5OGl9pu57kpWaSTQdPokMiQ7MGYLDlMip4nK1WXs DpASVkJXwytjq/yCp/zC1UCJ1bBt9Aa8ATAD3a7x1pwRWjzTfA3/0jjjVYIZUZQ9+TpC jZDx3gU4N2HwulIwyNrJMKv2vfM7WY3ZD4u/IdXW0RBbOsh630mQb+mF3wYkYftl6DFQ r8WQ== X-Gm-Message-State: ALyK8tLrfgiFIBFYzk8gTMtonKI6zEMKbEwPtff0vdqZ+zX1KobD7MDkjdvSBlaJk5EZryCcx5z4kz1Yyf3crQ== X-Received: by 10.202.74.80 with SMTP id x77mr8994357oia.125.1468843875885; Mon, 18 Jul 2016 05:11:15 -0700 (PDT) In-Reply-To: <611049b7-d084-cace-1e9d-513122d4bf97@online.de> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4003:c06::231 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:205795 Archived-At: --001a11c17c0273f0d60537e7ddfe Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Andreas, I didn't quite follow that email. What is Isabelle/HOL? Do the screenshots illustrate that jEdit can render Isabelle files fine, but emacs does not? Is this a request for a new major mode in emacs to support Isabelle? Or was this supported earlier and is now broken? On Mon, Jul 18, 2016, 6:17 AM Andreas R=C3=B6hler wrote: > Hi all, > > mentioned the switch of Isabelle/HOL from Emacs to jEdit. > > Attach a showcase displaying a portion of source in Emacs and jEdit, > which should illustrate the matter. sml.png refers to sml-mode.el from > Melpa. > I'll assume that the emacs screenshot is sml.png :) I do not see that file names in my email client, just the images directly. So the sml-mode was supposed to render the tags in that file properly? > -- Kaushal Modi --001a11c17c0273f0d60537e7ddfe Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Andreas,

I didn't quite follow that = email.=C2=A0

What is Isabelle/HOL? Do the screensh= ots illustrate that jEdit can render Isabelle files fine, but emacs does no= t?

Is this a request for a new major mode in emacs= to support Isabelle?

Or was this supported earlie= r and is now broken?

On = Mon, Jul 18, 2016, 6:17 AM Andreas R=C3=B6hler <andreas.roehler@online.de> wrote:
Hi all,

mentioned the switch of Isabelle/HOL from Emacs to jEdit.

Attach a showcase displaying a portion of source in Emacs and jEdit,
which should illustrate the matter.


sml.png refers to sml-mode.el from
Melpa.

I'll assume that= the emacs screenshot is sml.png :) I do not see that file names in my emai= l client, just the images directly. So the sml-mode was supposed to render = the tags in that file properly?
--

Kaushal Modi

--001a11c17c0273f0d60537e7ddfe--