From a343b8da51ffa5127e82e9452590b1a3f68f64a0 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Fri, 6 Jul 2012 12:35:32 +0000
Subject: [PATCH] Cosmetic changes.

---
 matitaB/matita/html/icons/saveas.png | Bin 0 -> 904 bytes
 matitaB/matita/html/index.html       |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 matitaB/matita/html/icons/saveas.png

diff --git a/matitaB/matita/html/icons/saveas.png b/matitaB/matita/html/icons/saveas.png
new file mode 100644
index 0000000000000000000000000000000000000000..8da6ae1e1d6f6439ae7c057091e1a29a5045f359
GIT binary patch
literal 904
zcmV;319$w1P)<h;3K|Lk000e1NJLTq001xm001xu1^@s6R|5Hm0009|Nkl<Zc-qxk
zJ7^U_6uplK3jPJ{lou5I6%i~fER43kLa|WLB8p%c(aOqLSt+Irh;E^vg=i65jfI7U
zpoKqB6zw9YQ3DD}Jjb_7?#`Rp&+Kj<bKn%SyEAjo?43JzX168vVE|kYZU;Am8^D$E
zy&3Q$_y&9deggm2(P^t<{iR?BJO%D8S@$700ZxLm3oW1xo(D%N4nTqkya0Y^TEJ@X
zask8XDsRDWad{QENxH6;C*%zHwFv=-!CQ`d_ra^+WAJlMJ8Qw+;7M@5<C!Di?YaaE
z#Kw(S?wtm&fj>$NgvN641bD@AFN#HGPWC(joTQJyoyK+g>qYRlr{N|RgXg3>uQZ;5
zdn99$X9=M3&%urA+B7%}zN*P^6I;P4aGkpL4jgica0#H>JdyOs)6Wk{eWUII-^LwD
z&kw$dU1D)3mw@Y%_W7IOv4#ydaRWT6$`N?HhyXL%aO67+Y<vPPa{5j5L?=@K<NOy@
zrq44aXxeRDpgS=I(Q{&rsCB{=V7ksWX>P(61t<1PRgOftk`~Yg->Wi1<yfDMPe40#
zh#izT?a%_u(O)9Ht~1wwaYYtWy3#LIjwF5yNoB_TpXvdwu;Z47`XzuEmGp|e44h3W
zn~`UQ*wX`>fHL`%t3H#xso22CQI~1QcUAr$k&@0I$b3GZ6*kKXm@}Sn)qf`4)s{F2
z-gC64!z%X^`&gN)?jQ9~Rs&54;BHOt+=gR8HXH!&s`4T>+?I6oVa#=<#7zj$Lb8k}
zn2JxU@*o@LE14{5P~8HG7;m$o!-ly7x)fjFPHIby0*cfxV?6O%=67~y**RzaXnY|r
z?`a~8X3aSp^h6$~0KI_aWu5(82NLKkHL4<@Ovm~y*Dk=<g^G5ZEK);``(*|6xRCE8
zF4D2h_?G8DB<PvMzF{=4W7GJV_?pi^xNPWDS;+D_)~lu&Dt!f57c$>eBClf_yF<FC
zbK3YS0<5V7;gif|bxgw<9LA*UMpXtv!<x(yKIwFolWm`NGSlhcH#9`hTS}rWfp6-G
zppR9E;19NlppO<41bw(m1b@6v1pR?SiwO1;Q-YvB@@WM7nN=g`58WDV3G`P36T$xM
eVMAYjxA_OezY$(PC!;R_0000<MNUMnLSTXo$EGd-

literal 0
HcmV?d00001

diff --git a/matitaB/matita/html/index.html b/matitaB/matita/html/index.html
index b34fa6b8f..65a6ca6b9 100644
--- a/matitaB/matita/html/index.html
+++ b/matitaB/matita/html/index.html
@@ -82,7 +82,7 @@
                                                     alt="Save" 
                                                     title="Save script"></A>
    <span style="width:1px; display:inline-block;"></span>
-   <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/save.png" 
+   <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/saveas.png" 
                                                     alt="Save as" 
                                                     title="Save script as..."></A>
    <span style="width:1px; display:inline-block;"></span>
-- 
2.39.2