*To*: Gottfried Barrow <gottfried.barrow at gmx.com>*Subject*: Re: [isabelle] naming conventions (was "Want to use Rep_Integ or lifting after [quot_del] in Int.thy")*From*: Makarius <makarius at sketis.net>*Date*: Thu, 23 May 2013 13:32:18 +0200 (CEST)*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <519D8EC6.6010907@gmx.com>*References*: <519AE86B.2030208@gmx.com> <3E3AEE15-2181-46D1-A676-85F7EC6FE1A4@cam.ac.uk> <519C3A46.3080901@gmx.com> <1369205906.2505.14.camel@macbroy12.informatik.tu-muenchen.de> <519CC513.8080202@gmx.com> <151E5274-D2DE-4AAB-ABC0-25BCE2244C0C@cam.ac.uk> <519CD00A.6070202@gmx.com> <519D78F2.1010002@gmail.com> <519D8EC6.6010907@gmx.com>*User-agent*: Alpine 2.00 (LNX 1167 2008-08-23)

On Wed, 22 May 2013, Gottfried Barrow wrote:

1) What is one word which I can use to label the many languages that areused in what I see in jEdit?

jEdit is a plain text editor. So you edit source text with it.

Makarius

**Follow-Ups**:

**References**:**[isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy***From:*Gottfried Barrow

**Re: [isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy***From:*Lawrence Paulson

**Re: [isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy***From:*Gottfried Barrow

**Re: [isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy***From:*Johannes Hölzl

**Re: [isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy***From:*Gottfried Barrow

**Re: [isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy***From:*Lawrence Paulson

**Re: [isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy***From:*Gottfried Barrow

**[isabelle] naming conventions (was "Want to use Rep_Integ or lifting after [quot_del] in Int.thy")***From:*Christian Sternagel

**Re: [isabelle] naming conventions (was "Want to use Rep_Integ or lifting after [quot_del] in Int.thy")***From:*Gottfried Barrow

- Previous by Date: Re: [isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy
- Next by Date: [isabelle] Isabelle/HOL, the book
- Previous by Thread: Re: [isabelle] naming conventions
- Next by Thread: Re: [isabelle] naming conventions (was "Want to use Rep_Integ or lifting after [quot_del] in Int.thy")
- Cl-isabelle-users May 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list