因为上一篇博客里面说到安装UPPAAL需要JRE1.8.0-1.12.0，这里专门出一个下载安装和环境配置的教程。不要求下这个版本的童鞋可以选择其他的版本进行下载。下载官网https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html找到这个位置，选择适合自己计算机位数的JDK，JDK和JRE是会同时下载的，我们

TextBox控件TextBox用于存储单行文本。当文本较长时，可以设置TextBox的TextWrapping="Wrap"属性，可以使文本框自动换行。当垂直方向行数不够时，会自动设置滚动条，也可设置VerticalScrollBarVisibility="Visible"使得滚动条可见。...

本节主要介绍内容控件的Content属性。控件Content属性的设置可以直接在控件中设置Content属性<Button x:Name="button" Content="Button" Height="49"/>也可以用图片。<Button><Image Source="/edbcb5485f9ac954.jpg" Width="100" Height="30"&

interpreter的问题，点击file-settings-project interpreter我的问题就是不小心把原来的python删掉了，所以没法编译，要重新安装个python。安装python的方法参考这篇博客 python安装找到你安装python的目录，python.exe这个文件的目录：点击加号把python.exe的路径添加进来到最后没有显示这是各invalid interpre

Mysql安装教程官网下载官网地址不要选择登录，直接下载下载之后双击环境配置官网下载官网地址https://dev.mysql.com/downloads/mysql/不要选择登录，直接下载下载之后双击提示让安装vc++,按提示安装一下就好了。点击Finish之后Mysql就安装好了。环境配置此电脑右键-属性-高级系统设置-环境变量找到Path编辑-新建，找到Mysql的安装路径，我这里是C:\P

Latex是一款常用的论文写作工具，今天小菜介绍Latex的安装配置过程。

SikuliX是一款前端自动操纵工具。网址：http://sikulix.com/quickstart/选择适合自己系统的版本。如果图方便，可以直接点这个链接下载https://launchpadlibrarian.net/526041489/sikulixide-2.0.5-win.jar在下载的过程中我们去java官网下载一下最新的java，可以参考我这篇博客：JRE、JDK下载安装教程下载好

因为上一篇博客里面说到安装UPPAAL需要JRE1.8.0-1.12.0，这里专门出一个下载安装和环境配置的教程。不要求下这个版本的童鞋可以选择其他的版本进行下载。下载官网https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html找到这个位置，选择适合自己计算机位数的JDK，JDK和JRE是会同时下载的，我们

官网下载地址https://uppaal.org/选择DOWNLOAD下载适合自己电脑的版本到这个下载页面后填一下个人信息（带星号的），点击Register&Download开始下载。这个下载有点慢啊…下载完了之后解压提示要安装JRE我们按照这篇大佬的博客来安装。JDK与JRE的安装与配置我也写了一篇专门适用于这个版本的JDK、JRE安装教程，欢迎大家捧场小菜https://blog.cs

下载官网下载地址http://www.tug.org/texlive/选择框选链接选择框选链接选择框选链接选择框选链接下载镜像文件可以把正在下载的链接地址复制到迅雷，下载更快。安装解压刚才下载的镜像文件，双击文件夹中的install-tl-windows.bat...