equal
deleted
inserted
replaced
376 document_files |
376 document_files |
377 "build" |
377 "build" |
378 "root.tex" |
378 "root.tex" |
379 |
379 |
380 session System (doc) in "System" = Pure + |
380 session System (doc) in "System" = Pure + |
381 options [document_variants = "system", thy_output_source] |
381 options [document_variants = "system", thy_output_source, pide_session] |
382 sessions |
382 sessions |
383 "HOL-Library" |
383 "HOL-Library" |
384 theories |
384 theories |
385 Environment |
385 Environment |
386 Sessions |
386 Sessions |