matita.cs.unibo.it Git - helm.git/history - helm/style/mk_dep

]> matita.cs.unibo.it Git - helm.git/history - helm/style/mk_dep_graph.xsl

2001-11-05	Claudio Sacerdoti...	Small bug fixed:	blob \| commitdiff \| raw
2001-10-26	Claudio Sacerdoti...	Some comments added.	blob \| commitdiff \| raw \| diff to current
2001-10-25	Claudio Sacerdoti...	A -> B now means "A depends on B" both in backward...	blob \| commitdiff \| raw \| diff to current
2001-10-24	Claudio Sacerdoti...	mk_meta_graph.xsl and mk_dep_graph.xsl factorised using	blob \| commitdiff \| raw \| diff to current
2001-10-24	Claudio Sacerdoti...	mk_dep_graph reimplemented using the forward-pointers...	blob \| commitdiff \| raw \| diff to current
2001-10-18	Claudio Sacerdoti...	mk_dep_graph.xsl now differentiates the constructors...	blob \| commitdiff \| raw \| diff to current
2001-10-17	Claudio Sacerdoti...	Bug removed/Feature changed: CIC URIs for inductive...	blob \| commitdiff \| raw \| diff to current
2001-10-15	Claudio Sacerdoti...	New implementation of the graph stuff: now every hard...	blob \| commitdiff \| raw \| diff to current
2001-10-08	Claudio Sacerdoti...	New graph implementation: the visit is no more pruned...	blob \| commitdiff \| raw \| diff to current
2001-10-04	Claudio Sacerdoti...	Many more hard-coded links removed.	blob \| commitdiff \| raw \| diff to current
2001-10-03	Claudio Sacerdoti...	First set of hard-coded URLs removed.	blob \| commitdiff \| raw \| diff to current
2001-10-01	Claudio Sacerdoti...	First implementation of graphs stuff. Working on my...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.