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/Doc/JEdit/JEdit.thy
changeset 54381 9c1f21365326
parent 54380 209596f56c05
child 54466 d04576557400
equal deleted inserted replaced
54380:209596f56c05 54381:9c1f21365326 
   227   theme is selected in a Swing-friendly way.\footnote{GTK support in
 
   227   theme is selected in a Swing-friendly way.\footnote{GTK support in
 
   228   Java/Swing was once marketed aggressively by Sun, but never quite
 
   228   Java/Swing was once marketed aggressively by Sun, but never quite
 
   229   finished, and is today (2013) lagging a bit behind further
 
   229   finished, and is today (2013) lagging a bit behind further
 
   230   development of Swing and GTK.}
 
   230   development of Swing and GTK.}
 
   231 
   231 
   232   \item[Windows] Regular \emph{Windows} is used by default.
 
   232   \item[Windows] Regular \emph{Windows} is used by default, but
 
       
   233   \emph{Windows Classic} also works.
 
   233 
   234 
   234   \item[Mac OS X] Regular \emph{Mac OS X} is used by default.
 
   235   \item[Mac OS X] Regular \emph{Mac OS X} is used by default.
 
   235 
   236 
   236   Moreover the bundled \emph{MacOSX} plugin provides various functions
 
   237   Moreover the bundled \emph{MacOSX} plugin provides various functions
 
   237   that are expected from applications on that particular platform:
 
   238   that are expected from applications on that particular platform:
isabelle