Diffusion Isabelle c337c798f64c

clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
c337c798f64c
Actions

Tags

None

Subscribers

None

Description

clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;

Details

Provenance

Authored on

Parents

rISABELLEc72fd8f1fceb: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc337c798f64c: clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;.Apr 1 2021, 7:01 PM

makarius mentioned this in rISABELLEb2604cd4d131: recover library_index_content.template from c337c798f64c: required for….Nov 3 2021, 5:21 PM

Changes (8)

Path

Size

library_index_content.template

library_index_footer.template

library_index_header.template

src/

Pure/

Admin/

build_release.scala

PIDE/

Thy/

presentation.scala

rISABELLEc337c798f64c

lib/html/library_index_content.template

Loading...

lib/html/library_index_footer.template

Loading...

lib/html/library_index_header.template

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/PIDE/xml.scala

Loading...

src/Pure/Thy/presentation.scala

Loading...