{% block title %}形式化程序规范生成系统{% endblock %}

{% block extra_css %}{% endblock %}

形式化规范生成系统

系统正常

{% with messages = get_flashed_messages(with_categories=true) %} {% if messages %}

{% for category, message in messages %}

{% endfor %}

{% endif %} {% endwith %}

{% block content %}{% endblock %}

{% block extra_js %}{% endblock %}