HomeIsabelle/Phabricator
Diffusion Isabelle 65fd0f032a75

updated to jedit-5.6pre1 (repository version 25349);
65fd0f032a75
Actions

Description

updated to jedit-5.6pre1 (repository version 25349);

Details

Provenance
makariusAuthored on
Parents
rISABELLE0c8a9c028304: simplified 'smt_proofs' option to be a binary option (instead of ternary), now…
Branches
Unknown
Tags
Unknown

Changes (23)

PathSize
Admin/
components/
Pure/
Admin/
lib/
Tools/
src/

rISABELLE65fd0f032a75

View Options

Admin/components/components.sha1

Loading...
View Options

Admin/components/main

Loading...
View Options

NEWS

Loading...
View Options

src/Pure/Admin/build_release.scala

Loading...
View Options

src/Tools/jEdit/lib/Tools/jedit

Loading...
View Options

src/Tools/jEdit/patches/accelerator_font

Loading...
View Options

src/Tools/jEdit/patches/brackets

Loading...
View Options

src/Tools/jEdit/patches/docking

Loading...
View Options

src/Tools/jEdit/patches/extended_styles

Loading...
View Options

src/Tools/jEdit/patches/favorites

Loading...
View Options

src/Tools/jEdit/patches/folding

Loading...
View Options

src/Tools/jEdit/patches/glyphvector

Loading...
View Options

src/Tools/jEdit/patches/macosx

Loading...
View Options

src/Tools/jEdit/patches/props

Loading...
View Options

src/Tools/jEdit/patches/putenv

Loading...
View Options

src/Tools/jEdit/patches/title

Loading...
View Options

src/Tools/jEdit/patches/vfs_manager

Loading...
View Options

src/Tools/jEdit/patches/vfs_marker

Loading...
View Options

src/Tools/jEdit/src/rich_text_area.scala

Loading...