isabelle矢量图片生成

放大图 缩小图 上移图 下移图 左移图 右移图 顺旋转图 逆旋转图 放大文字 缩小文字 文字上移 文字下移 文字左移 文字右移 顺旋转文字 逆旋转文字 显示/隐藏文字 改变文字颜色 改变字体 文字加粗 下载