Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/isac/fig/coqide.png
author Andreas Schulhofer <andreas.schulhofer@student.tugraz.at>
Tue, 11 Jan 2011 14:24:36 +0100
branchdecompose-isar
changeset 38113 ece09eca1d43
parent 38089 042b19985ea0
permissions -rwxr-xr-x
CTP-gui: AS added from saved copy
neuper@38089 
     1
 
(binary:image/png)
wneuper/isa