 
  * prooftree --- proof tree display for Proof General 
  * 
  * Copyright ( C ) 2011 - 2019   
  * 
  * This file is part of " prooftree " . 
  * 
  * " prooftree " is free software : you can redistribute it and/or 
  * modify it under the terms of the GNU General Public License as 
  * published by the Free Software Foundation , either version 3 of the 
  * License , or ( at your option ) any later version . 
  * 
  * " prooftree " is distributed in the hope that it will be useful , 
  * but WITHOUT ANY WARRANTY ; without even the implied warranty of 
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE . See the GNU 
  * General Public License in file COPYING in this or one of the parent 
  * directories for more details . 
  * 
  * You should have received a copy of the GNU General Public License 
  * along with " prooftree " . If not , see < / > . 
 
 * prooftree --- proof tree display for Proof General
 * 
 * Copyright (C) 2011 - 2019 Hendrik Tews
 * 
 * This file is part of "prooftree".
 * 
 * "prooftree" is free software: you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.
 * 
 * "prooftree" is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 * General Public License in file COPYING in this or one of the parent
 * directories for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with "prooftree". If not, see </>.
 *)


(** Version number. The implementation of this module is generated 
    automatically from version.txt *)


* Prooftree version number
val version : string

* Version number. The implementation of this module is generated 
    automatically from version.txt 
 
  * prooftree --- proof tree display for Proof General 
  * 
  * Copyright ( C ) 2011 - 2019   
  * 
  * This file is part of " prooftree " . 
  * 
  * " prooftree " is free software : you can redistribute it and/or 
  * modify it under the terms of the GNU General Public License as 
  * published by the Free Software Foundation , either version 3 of the 
  * License , or ( at your option ) any later version . 
  * 
  * " prooftree " is distributed in the hope that it will be useful , 
  * but WITHOUT ANY WARRANTY ; without even the implied warranty of 
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE . See the GNU 
  * General Public License in file COPYING in this or one of the parent 
  * directories for more details . 
  * 
  * You should have received a copy of the GNU General Public License 
  * along with " prooftree " . If not , see < / > . 
 
 * prooftree --- proof tree display for Proof General
 * 
 * Copyright (C) 2011 - 2019 Hendrik Tews
 * 
 * This file is part of "prooftree".
 * 
 * "prooftree" is free software: you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.
 * 
 * "prooftree" is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 * General Public License in file COPYING in this or one of the parent
 * directories for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with "prooftree". If not, see </>.
 *)




* Prooftree version number
val version : string
