NEWS
changeset 55654 5ff4742f27ec
parent 55643 18fe288f6801
child 55668 6e97c1766500
equal deleted inserted replaced
55653:528de9a20054 55654:5ff4742f27ec
    29 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
    29 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
    30 Open text buffers take precedence over copies within the file-system.
    30 Open text buffers take precedence over copies within the file-system.
    31 
    31 
    32 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for
    32 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for
    33 auxiliary ML files.
    33 auxiliary ML files.
       
    34 
       
    35 * Improved completion based on context information about embedded
       
    36 languages: keywords are only completed for outer syntax, symbols for
       
    37 languages that support them.  E.g. no symbol completion for ML source,
       
    38 but within ML strings, comments, antiquotations.
    34 
    39 
    35 * Document panel: simplied interaction where every single mouse click
    40 * Document panel: simplied interaction where every single mouse click
    36 (re)opens document via desktop environment or as jEdit buffer.
    41 (re)opens document via desktop environment or as jEdit buffer.
    37 
    42 
    38 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle /
    43 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle /