Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/isa-emacs
author oheimb
Mon, 16 Dec 1996 15:45:02 +0100
changeset 2423 4550426cf8f7
parent 2390 4e183a4d9cd0
child 2474 9990f088d7ac
permissions -rwxr-xr-x
added consistency comment
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2344
c3e1eaea4418 added -norc option;
wenzelm
parents: 2312
diff changeset 
     1
 
#!/bin/bash -norc
2305
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset 
     2
 
#
2312
65ea8bbb4e02 *** empty log message ***
wenzelm
parents: 2305
diff changeset 
     3
 
# $Id$
65ea8bbb4e02 *** empty log message ***
wenzelm
parents: 2305
diff changeset 
     4
 
#
2305
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset 
     5
 
# Emacs / Isamode interface.
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset 
     6
 
#
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset 
     7
 
# TODO: isabelle fonts
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset 
     8
 












35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




     9














35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    10


## diagnostics













35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    11














35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    12


function fail()













35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    13


{








2344






c3e1eaea4418
added -norc option;



wenzelm


parents: 
2312

diff
changeset




    14


  echo "$1" >&2








2305






35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    15


  exit 2













35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    16


}













35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    17














35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    18














35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    19


## main













35f78d6c4faa
Emacs / Isamode interface.



wenzelm


parents: 

diff
changeset




    20









2390






4e183a4d9cd0
now also loads etc/isa-settings.el;



wenzelm


parents: 
2344

diff
changeset




    21


exec emacs -name "isabelle" $ISABELLE_INTERFACE_OPTIONS -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$ISABELLE_HOME_USER/etc/isa-settings.el" -l "$ISAMODE_HOME/elisp/isa-start.el"















isabelle