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/Tools/VSCode/extension/src/protocol.ts
changeset 65979 c208fcf369b7
parent 65977 c51b74be23b6
child 65983 d8c5603c1732
equal deleted inserted replaced
65978:5754708a2d05 65979:c208fcf369b7 
    37 
    37 
    38 /* dynamic output */
 
    38 /* dynamic output */
 
    39 
    39 
    40 export interface Dynamic_Output
 
    40 export interface Dynamic_Output
 
    41 {
 
    41 {
 
    42   body: string
 
    42   content: string
 
    43 }
 
    43 }
 
    44 
    44 
    45 export const dynamic_output_type =
 
    45 export const dynamic_output_type =
 
    46   new NotificationType<Dynamic_Output, void>("PIDE/dynamic_output")
 
    46   new NotificationType<Dynamic_Output, void>("PIDE/dynamic_output")
 
    47 
    47
isabelle