The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /tex-archive/graphics/asymptote/GUI/res/icons/

../
anchor.svg                                         09-Jul-2026 19:44                 361
android-arrow-back.svg                             09-Jul-2026 19:44                 626
android-arrow-forward.svg                          09-Jul-2026 19:44                 626
android-camera.svg                                 09-Jul-2026 19:44                 790
android-close.svg                                  09-Jul-2026 19:44                 683
android-color-palette.svg                          09-Jul-2026 19:44                1302
android-delete.svg                                 09-Jul-2026 19:44                 664
android-done.svg                                   09-Jul-2026 19:44                 620
android-expand.svg                                 09-Jul-2026 19:44                 810
android-folder-open.svg                            09-Jul-2026 19:44                 840
android-hand.svg                                   09-Jul-2026 19:44                1467
android-locate.svg                                 09-Jul-2026 19:44                1108
android-radio-button-off.svg                       09-Jul-2026 19:44                 752
android-radio-button-on.svg                        09-Jul-2026 19:44                 831
android-refresh.svg                                09-Jul-2026 19:44                 795
arrow-move.svg                                     09-Jul-2026 19:44                 705
arrow-resize.svg                                   09-Jul-2026 19:44                 631
brush.svg                                          09-Jul-2026 19:44                 986
bucket.asy                                         09-Jul-2026 19:44                 593
bucket.svg                                         09-Jul-2026 19:44                1436
center.asy                                         09-Jul-2026 19:44                 111
center.svg                                         09-Jul-2026 19:44                 858
centerorigin.asy                                   09-Jul-2026 19:44                 124
centerorigin.svg                                   09-Jul-2026 19:44                1022
check.svg                                          09-Jul-2026 19:44                 771
chevron-with-circle-left.svg                       09-Jul-2026 19:44                1000
chevron-with-circle-right.svg                      09-Jul-2026 19:44                 985
circle.svg                                         09-Jul-2026 19:44                 743
close-round.svg                                    09-Jul-2026 19:44                 829
closedcurve.asy                                    09-Jul-2026 19:44                 109
closedcurve.svg                                    09-Jul-2026 19:44                1187
closedpolygon.asy                                  09-Jul-2026 19:44                 109
closedpolygon.svg                                  09-Jul-2026 19:44                1058
code.svg                                           09-Jul-2026 19:44                1180
edit.svg                                           09-Jul-2026 19:44                 863
eye.svg                                            09-Jul-2026 19:44                 988
filledbucket.svg                                   09-Jul-2026 19:44                1884
grid.svg                                           09-Jul-2026 19:44                1732
magnifying-glass.svg                               09-Jul-2026 19:44                 951
opencurve.asy                                      09-Jul-2026 19:44                 102
opencurve.svg                                      09-Jul-2026 19:44                1139
openpolygon.asy                                    09-Jul-2026 19:44                 102
openpolygon.svg                                    09-Jul-2026 19:44                1043
plus-round.svg                                     09-Jul-2026 19:44                 750
redo.svg                                           09-Jul-2026 19:44                1090
save.svg                                           09-Jul-2026 19:44                 663
social-python.svg                                  09-Jul-2026 19:44                1899
subdirectory-left.svg                              09-Jul-2026 19:44                 108
text.svg                                           09-Jul-2026 19:44                 284
triangle-stroked-15.svg                            09-Jul-2026 19:44                1226
undo.svg                                           09-Jul-2026 19:44                1047

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.