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

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

2001-10-24	Claudio Sacerdoti...	Ported to RDF syntax.	blob \| commitdiff \| raw
2001-10-17	Claudio Sacerdoti...	Bug removed/Feature changed: CIC URIs for inductive...	blob \| commitdiff \| raw \| diff to current
2001-10-16	Claudio Sacerdoti...	Bug related to #xpointer(1/n/m) constructor URI fixed.	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.