Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -3000 -1000 -300 -100 -50 -30 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
2020-03-14 wenzelm tuned; file | diff | annotate
2020-03-13 wenzelm proper escape for literal single quotes; file | diff | annotate
2020-03-13 wenzelm allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962); file | diff | annotate
2020-03-12 wenzelm updated for release; file | diff | annotate
2020-03-10 Manuel Eberl updated NEWS w.r.t. e0237f2eb49d file | diff | annotate
2020-03-06 wenzelm support Java/VM monitoring via jconsole; file | diff | annotate
2020-03-02 wenzelm more documentation; file | diff | annotate
2020-03-01 wenzelm more Isabelle/jEdit actions; file | diff | annotate
2020-02-29 wenzelm more Isabelle/jEdit actions; file | diff | annotate
2020-02-28 wenzelm NEWS; file | diff | annotate
2020-02-26 wenzelm updated for release; file | diff | annotate
2020-02-26 wenzelm updated for release; file | diff | annotate
2020-02-25 wenzelm update to WebviewPanel API, following initial version by Peter Zeller; file | diff | annotate
2020-02-16 wenzelm NEWS; file | diff | annotate
2020-02-15 wenzelm NEWS; file | diff | annotate
2020-02-11 wenzelm updated for release; file | diff | annotate
2020-02-11 wenzelm updated for release; file | diff | annotate
2020-02-10 wenzelm proper symbols; file | diff | annotate
2020-02-10 wenzelm NEWS; file | diff | annotate
2020-02-10 wenzelm recover from Unicode accident in 4abd07cd034f; file | diff | annotate
2020-02-10 wenzelm NEWS; file | diff | annotate
2020-02-10 wenzelm NEWS; file | diff | annotate
2020-02-10 wenzelm tuned; file | diff | annotate
2020-02-10 wenzelm tuned; file | diff | annotate
2020-01-15 wenzelm added "isabelle scala_project" to support e.g. IntelliJ IDEA; file | diff | annotate
2019-12-23 wenzelm NEWS; file | diff | annotate
2019-12-19 wenzelm NEWS; file | diff | annotate
2019-12-16 wenzelm tuned NEWS; file | diff | annotate
2019-12-16 wenzelm tuned; file | diff | annotate
2019-12-10 traytel NEWS, CONTRIBUTORS, and documentation file | diff | annotate
less more (0) -3000 -1000 -300 -100 -50 -30 tip
isabelle