Mercurial Mercurial > repos > isabelle / comparison
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.
src/Tools/Metis/src/Options.sig
changeset 39353 7f11d833d65b
parent 23510 4521fead5609
parent 39349 2d0a4361c3ef
child 39443 e330437cd22a
equal deleted inserted replaced
39313:41ce0b56d858 39353:7f11d833d65b 
     1 (* ========================================================================= *)
 
     1 (* ========================================================================= *)
 
     2 (* PROCESSING COMMAND LINE OPTIONS                                           *)
 
     2 (* PROCESSING COMMAND LINE OPTIONS                                           *)
 
     3 (* Copyright (c) 2003-2004 Joe Hurd, distributed under the BSD License *)
 
     3 (* Copyright (c) 2003-2004 Joe Hurd, distributed under the BSD License       *)
 
     4 (* ========================================================================= *)
 
     4 (* ========================================================================= *)
 
     5 
     5 
     6 signature Options =
 
     6 signature Options =
 
     7 sig
 
     7 sig
 
     8 
     8
isabelle