isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 13 Aug 2013 18:22:55 +0200 got rid of the dependency of Lifting_* on the function package; use the original rel constants for basic BNFs;

changeset

traytel [Tue, 13 Aug 2013 18:22:55 +0200] rev 53026

got rid of the dependency of Lifting_* on the function package; use the original rel constants for basic BNFs;

Wed, 14 Aug 2013 00:15:03 +0200 more work on (co)datatype docs

changeset

blanchet [Wed, 14 Aug 2013 00:15:03 +0200] rev 53025

more work on (co)datatype docs

Tue, 13 Aug 2013 22:37:58 +0200 more symbolic notation;

changeset

wenzelm [Tue, 13 Aug 2013 22:37:58 +0200] rev 53024

more symbolic notation;

Tue, 13 Aug 2013 22:25:24 +0200 Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/CompletionPopup.java);

changeset

wenzelm [Tue, 13 Aug 2013 22:25:24 +0200] rev 53023

Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/CompletionPopup.java);

Tue, 13 Aug 2013 20:35:45 +0200 merged

changeset

wenzelm [Tue, 13 Aug 2013 20:35:45 +0200] rev 53022

merged

Tue, 13 Aug 2013 20:34:46 +0200 discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;

changeset

wenzelm [Tue, 13 Aug 2013 20:34:46 +0200] rev 53021

discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; document antiquotations: renamed term style "isub" to "sub";

Tue, 13 Aug 2013 19:52:12 +0200 merged

changeset

wenzelm [Tue, 13 Aug 2013 19:52:12 +0200] rev 53020

merged

Tue, 13 Aug 2013 16:15:31 +0200 more general window_geometry;

changeset

wenzelm [Tue, 13 Aug 2013 16:15:31 +0200] rev 53019

more general window_geometry;

Tue, 13 Aug 2013 19:57:57 +0200 added rail diagram

changeset

blanchet [Tue, 13 Aug 2013 19:57:57 +0200] rev 53018

added rail diagram